Curriculum Vitae

Download CV (PDF)

Academic background

I received my Ph.D. in Computer Science from the University of Warwick, specializing in game theory and quantitative verification. Before joining CU Boulder, I held academic positions at IIT Bombay, the University of Pennsylvania, and the University of Oxford.

Recognition

• NSF CAREER Award, 2022
• Royal Society Wolfson Visiting Fellowship, 2024
• Distinguished Paper Award, CAV 2024, for Regular Reinforcement Learning

See my publications, teaching, and students and alumni for further details.