Jyotirmoy Deshmukh
Assistant Professor, Director
About
- CPS
- Cyber-Physical Systems
- VIDA
- Verification, Intelligence, Design, and Analysis
- Vida
- (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.
Members
Ph.D. Students
Anand Balakrishnan
- Learning Algorithms for Controller Synthesis
- Safety in Reinforcement Learning
- Verification of Perception Systems
Aniruddh Puranic
- Robotics
- Human Behavior Modeling
- Safe Imitation Learning
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.