About Me

Hi!
I am a Research Assistant Professor in the TRAITS Lab, 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.

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.

CV  
Email: lipsy@ksu.edu