About Me

I am a Research Assistant Professor in the Department of Computer Science at Kansas State University. My research lies at the intersection of Formal Verification, Artificial Intelligence, and Cyber-Physical Systems (CPS). I develop practical formal methods for scalable analysis of AI-enabled autonomous systems and tackle the safety and reliability challenges by providing mathematical guarantees. My work also includes verification of differentially private mechanisms, contributing to security and privacy guarantees in AI systems.

Before my current role, I was a postdoctoral researcher at KSU, mentored by Prof. Pavithra Prabhakar, and prior to that, I spent a year at the University of Missouri as a postdoc mentored by Prof. Rohit Chadha.

My academic background is in Mathematics. I completed my Ph.D. in Mathematics at IIT Delhi, advised by Prof. Subiman Kundu, where I studied the topology of metric spaces. I completed my M.Sc. in Mathematics at IIT Delhi, and my B.Sc. (H.S.) in Maths and Computing at Panjab University Chandigarh.

Curriculum Vitae (PDF)
Email: lipsy@ksu.edu; lipsy1247@gmail.com