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