Pavithra Prabhakar

Pavithra Prabhakar is a former Assistant Research Professor at the IMDEA Software Institute (Madrid, Spain), where she joined the faculty in 2011. She holds a PhD in Computer Science from the University of Illinois at Urbana-Champaign (2011), alongside a Master's in Applied Mathematics. She also earned a Master's in Computer Science from the Indian Institute of Science (Bangalore) and a Bachelor's from the National Institute of Technology, Warangal (India).

Her research focuses on Formal Analysis of Cyber-Physical Systems, emphasizing approximation techniques, decidability results, and applications of automata theory and logic. She has published extensively in Hybrid Systems and Formal Methods conferences. Notable recognitions include an honorable mention at HSCC and the M.N.S Swamy Medal from IISc.

Pavithra spent a one-year fellowship (2011-2012) at the California Institute of Technology (CMI Fellow) and interned at Bell-Labs Murray Hill on formal synthesis of web-services. She has also received the Sohaib and Sara Abbasi fellowship during her PhD.