Pavithra Prabhakar

Registered user since Sun 6 Mar 2022

Name:Pavithra Prabhakar
Bio:

Pavithra Prabhakar is a Professor of Computer Science at Kansas State University, where she holds the Peggy and Gary Edwards Chair in Engineering. She obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2011, from where she also obtained a masters in Applied Mathematics. She was a CMI (Center for Mathematics of Information) fellow at Caltech for the year 2011-12. She has been on the faculty of Kansas State University since 2015, and has previously held a faculty position at the IMDEA Software Institute. Her main research interest is in the Formal Analysis of Cyber-Physical Systems, with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control systems. Her papers have been selected for a best paper honorable mention award from Hybrid Systems: Computation and Control, best papers of MEMOCODE and invited papers at Allerton and American Control Conference. She has been awarded a Sohaib and Sara Abbasi fellowship from UIUC, an M.N.S Swamy medal from the Indian Institute of Science for the best masters thesis, a Marie Curie Career Integration Grant from the European Union, Michelle Munson-Serban Simu Keystone Research Faculty Scholarship and Dean’s Award for Excellence in Research from the KSU College of Engineering, a summer faculty fellowship from AFRL, an NSF CAREER Award and an ONR Young Investigator Award.

Country:United States
Affiliation:Kansas State University
Research interests:Formal Methods, Cyber-Physical Systems, Autonomous Systems

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile