Cyber-Physical Systems
Verification, Intelligence, Design, and Analysis
(Spanish) Life

Our group’s research interests lie in the intersection of formal methods, control theory, cyber-physical systems, and artificial intelligence. This includes some of the following:

  • Verification of Autonomous CPS.
  • Specification Languages for CPS.
  • Monitoring Security of CPS.
  • Verifiable and Safe Controller Synthesis for Autonomy in CPS.
  • Probabilistic Reasoning about Time-Series Data using Temporal Logic.


Ph.D. Students

Anand Balakrishnan
  • Learning Algorithms for Controller Synthesis
  • Safety in Reinforcement Learning
  • Verification of Perception Systems

Navid Hashemi
  • Cyber-Physical Systems
  • Control Theory
  • Fault Detection
  • Reinforcement Learning

Sara Mohammadinejad
  • Machine Learning
  • Formal Methods

Sheryl Paul
  • Game Theory
  • Formal Methods and Verification

Vidisha Kudalkar

Xin Qin
  • Formal Methods
  • Predictive Monitoring
  • Automated Testing
  • Machine Learning

Yuan Xia
  • Machine Learning
  • Formal Methods

Visiting Scholars

Parv Kapoor
  • Safe Reinforcement Learning
  • Optimization Techniques and Applications
  • Robotics
  • Computer Vision

Lab Alumni

  • Kolby Nottingham, Visiting Scholar.
  • Monali Saraf, Visiting Scholar.
  • Yogesh Gajjar, Master's Student.