Pavithra Prabhakar
Pavithra Prabhakar
Ph.D., University of Illinois at Urbana-Champaign

Peggy and Gary Edwards Chair in Engineering
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) Multiple PhD and postdoctoral fellowships are available. Students with strong mathematical background interested in PhD in formal methods and/or cyber-physical systems are encouraged to get in touch along with their CV. I also have funding to support postdocs in topics related to control systems, formal methods, cyber-physical systems and their applications in robotics (path planning). Send me an email if you are interested.

Recent News

  • [09/18] Paper accepted at 39th IEEE Real-Time Systems Symposium.
  • [07/18] Paper accepted at 56th Annual Allerton Conference on Communication, Control and Computing.
  • [07/18] Two papers accepted at QEST’18 and CONCUR’18.
  • [04/18] Co-chairing HSCC’19 , the 22nd ACM International Conference on Hybrid Systems: Computation and Control
                with Necmiye Ozay (Univ. Michigan). Submit your best papers!
  • [01/18] Serving on the PC of CAV'18 and EMSOFT'18.
  • [12/17] Tool paper on Algorithmic Verification for Stability (AVERIST) accepted at HSCC'18 (CPSWeek'18).
  • [09/17] Served on the Cyber-Physical Systems Agriculture panel at the CPS PI Meeting.
  • [09/17] Gave an invited talk at the University of Southern California Cyber-Physical Systems Seminar Series.
  • [08/17] Co-chairing FORMATS'18, the 16th International Conference on Formal Modelling and Analysis of Timed Systems
                Submit your best papers!
  • [07/17] Miriam García Soto successfully defended her thesis. Congratulations!
  • [07/17] Co-organized the Verification Mentoring Workshop at CAV'17 (Thanks to NSF).
  • [07/17] Two papers accepted at CDC'17.
  • [07/17] Invited speaker at the Cyber-Physical Systems Symposium at IISc, Bangalore.
  • [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.)