Tooba Khan

PhD Student · Formal Verification · Program Analysis · Security

I’m a Ph.D. student in Computer Science at the University of Southern California, advised by Prof. Chao Wang and Prof. Srivatsan Ravi. My research lies at the intersection of formal methods, program analysis, and system security with a focus on building principled techniques to reason about the correctness and trustworthiness of complex systems. I hold a Master’s degree from IIT Delhi, where I developed an early interest in the security aspects of intelligent systems, and a B.Tech in Computer Engineering from AMU, where I graduated top of my class.

Before joining USC, I worked at Siemens Logistics, contributing to software systems deployed in real-world infrastructure. I’m broadly interested in problems that require both theoretical rigor and practical impact.