Faculty
Insup Lee (PI)
- Cyber-Physical Systems (CPS)
- High-Assurance Machine Learning
- Security
Osbert Bastani
- Machine learning
- AI
- programming language
- security
Kostas Daniilidis
- Computer vision
- robotics
- machine learning
Edgar Dobriban
- Machine learning foundations
- Robustness & adversarial ML
- Uncertainty quantification
- High-dimensional statistics
Eric Eaton
- Machine learning
- life-long learning
- interactive AI
Julia Parish-Morris
- Developmental psychology
- language development
- childhood learning
Dan Roth
- Machine leaning & inference methods
- Natural Language Processing
Oleg Sokolsky
- Cyber-Physical Systems
- Formal methods
- Runtime verification
- Safety assurance
James Weimer
- Learning-enabled CPS
- autonomous vehicles
PhD Students
Matthew Cleaveland
Meghna Gummadi
Sooyong Jang
Xiayan Ji
Ramneet Kaur
Shuo Li
Vivian Lin
Stefanos Pertigkiozoglou
Kaustubh Sridhar
Yahan Yang
Post-Docs
Michele Caprio
Souradeep Dutta
Georgios Georgakis
Kuk Jin Jang
Research Assistant
Maxine Covello
Martin Ricardo Del Rio Grageda
Former Members
Soham Dan (IBM)
Radoslav Ivanov (RPI)
Yiannis Kantaros (WUSTL)
