Jyotirmoy Deshmukh
Assistant Professor, Director
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.