Ph.D., University of Illinois at Urbana-Champaign
Peggy and Gary Edwards Chair in Engineering
Department of Computer Science
Kansas State University
Research InterestsFormal 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.