Members

Ph.D. Students

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

Aniruddh Puranic
  • Robotics
  • Verification of Neural Networks
  • Human Modeling
  • Imitation Learning

Sara Mohammadinejad
  • Machine Learning
  • Formal Methods

Sheryl Paul
  • Game Theory
  • Formal Methods and Verification

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

Yuan Xia
  • Machine Learning
  • Formal Methods

Master's Students

Yogesh Gajjar
  • Robotics
  • Computer Vision
  • Autonomous Driving
  • Machine Learning

Visiting Scholars

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

Lab Alumni

  • Kolby Nottingham, Visiting Scholar.
  • Monali Saraf, Visiting Scholar.