Pavithra Prabhakar
Pavithra Prabhakar
Michelle Munson-Serban Simu Keystone Research Faculty Scholar
Ph.D. University of Illinois at Urbana-Champaign, 2011

Associate Professor
Department of Computer Science
Kansas State University

Research Interests

Cyber-Physical Systems: Verification, Synthesis; Formal Methods: Model Checking, Temporal Logics; Applications areas: Automotive, Aerospace and Robotic Systems;

(Research Opportunities) I am looking for students with strong mathematical background interested in research in formal methods and/or cyber-physical systems. I am also interested in hosting postdocs with PhD in related areas (control systems, formal methods, cyber-physical systems and their applications). Send me an email if you are interested.

Recent News

  • [03/17] Promoted to Associate Professor with Tenure (Announcement).
  • [02/17] Received the Young Investigator Award from the Office of Naval Research (ONR YIP).
  • [01/17] Named the Michelle Munson-Serban Simu Keystone Research Faculty Scholar (More).
  • [12/16] Co-organizing the second workshop on Design and Analysis of Robust Systems co-located with CAV'17.
  • [12/16] Paper on hybridization for nonlinear hybrid systems accepted at TACAS'17.
  • [12/16] Paper on abstractions for stochastic hybrid systems accepted at ICCPS'17.
  • [12/16] Two papers on Stabilizable Controller Synthesis and Robust Verification accepted at HSCC'17.
  • [12/16] Invited talk at the AVERTS workshop (Co-located with FSTTCS'16 in Chennai, India)
  • [10/16] Serving on the PC of CAV'17.
  • [09/16] Co-organizing Dagstuhl seminar on Robustness in Cyber-Physical Systems.
  • [09/16] Serving on the PC of QEST'17.
  • [06/16] Paper on Global Asymptotic Stability verification accepted at EMSOFT'16.
  • [04/16] Paper on CEGAR for stability analysis accepted at CAV'16.
  • [03/16] Awarded Summer Faculty Fellowship from Air Force Research Lab.
  • [02/16] Invited speaker at the Mysore Workshop on Trends and Challenges in Quantitative Verification.
  • [01/16] Received the NSF CAREER Award for Robust Verification of Cyber-Physical Systems. (More.)