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

Formal verification and synthesis of autonomous and cyber-physical systems; Formal analysis of AI-based controllers; Applications in robotics, aerospace systems, autonomous vehicles and agricultural automation

(Research Opportunities) Multiple PhD and postdoctoral fellowships are available. Students and postdocs with strong mathematical background interested in PhD in formal methods, robotics and/or cyber-physical systems are encouraged to get in touch along with their CV.

Recent News