Biographical Sketch

Pavithra Prabhakar
Pavithra Prabhakar

Ph.D. University of Illinois at Urbana-Champaign, 2011
Assistant Research Professor (tenure-track)
IMDEA Software Institute
Pavithra Prabhakar obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign in 2011, from where she also obtained a masters in Applied Mathematics. She has a masters degree in Computer Science from the Indian Institute of Science, Bangalore and a bachelors degree from the National Institute of Technology, Warangal, in India. She has been on the faculty of IMDEA Software Institute since 2011, and spent the year between 2011-2012 at the California Institute of Technology as a CMI (Center for Mathematics of Information) fellow on leave of absence from IMDEA. She has spent several summers as an intern at Bell-Labs, Murray Hill, working on formal synthesis of web-services. She is the recipient of the Sohaib and Sara Abbasi fellowship from UIUC and M.N.S Swamy medal from the Indian Institute of Science for the best master's thesis. Her main research interest is in Formal Analysis of Cyber-Physical Systems. She has published widely in Hybrid Systems and Formal Methods conferences and her paper in HSCC has received an honorable mentions award.