research themes

Our research is on reliable autonomy and intelligence. We work on theories, algorithms, tools and experimental testbeds to discover the principles for designing and analyzing autonomous systems like driverless cars and aerial vehicles.

current members

Card image cap
Sayan Mitra

Sayan is Professor of ECE and CS. His book on verification was published by MIT press in 2021.

Card image cap
Hussein Sibai

Hussein is an ECE PhD candidate. His research explores how model structure (symmetries) can help scale verification of autonomous systems. He has developed abstractions, algorithms and data-structures that have shown 100x speed-up of verifcation for nonlinear, hybrid, and multi-agent systems. Hussein received Illinois' Mavis Fellowhip, nomination for best paper award at ATVA, and best poster award at HSCC'18.

Card image cap
Sung Woo Jeon

Sung (BS ECE, UIUC) is pusrsuing MS in ECE and is working on multi-agent systems, autonomous vehicles and security.

Card image cap
Chiao Hsieh

Chiao is a Computer Science PhD candidate and his research is on distributed systems and programming languages. He is leading the research and development Koord language and Dione verifier.

Card image cap
Kristina Miller

Kristina (BS MechSE, UIUC) is pursuing a MS in ECE. Her research explores synthesis algorithms and their applications in autonomous systems. She is the lead developer of our FACTEST tool.

Card image cap
Minghao Jiang

Minghao (BS ECE, UIUC) is pursuing MS in ECE. His research is about planning and testing autonomous vehicles.

Yangge Li

Yangge (BS ECE, UIUC) is currently pursuing MS in ECE. He is exploring verification techniques for autonomous systems. He contributes significantly to the C2E2 verification tool.

Card image cap
Dawei Sun

Dawei is exploring how statistical approaches can be used for verification and synthesis. He has developed HooVer which used multi-armed Bandit algorithms for statistical model checking.

Aditya Gupta

Aditya is an Aerospace undergrad and he is developing controller synthesis algorithms in FACTEST.

Card image cap
Yixuan Jia

Yixuan is an ECE undergrad and he part of the GRAIC team.

phd alumni

Card image cap
Chuchu Fan

Chuchu completed her PhD from ECE in 2019, and is now an Assistant Professor in the Aerospace Engineering Department at MIT. Her PhD research was on data-driven verification and synthesis of autonomous systems.

Card image cap
Ritwika Ghosh

Ritwika completed her PhD from CS in 2020, and is now a Senior Software Engineer at Her PhD research was on programming distributed robotic systems.

Card image cap
Zhenqi Huang

Zhenqi completed his PhD from ECE in 2016, and is now at Waymo. His PhD research was on Compositional analysis of CPS for safety and privacy.

Card image cap
Parasara Sridhar Duggirala

Sridhar completed his PhD from CS in 2015, co-advised M. Viswanathan. He is now Assistant Professor of Computer Science at UNC Chapel Hill. Sridhar's PhD research was on Dynamic verification of cyber-physical systems.

Card image cap
Taylor Johnson

Taylor, the first graduate from our group, completed his PhD in 2013. He is now Assistant Professor of EECS at Vanderbilt University. Taylor's PhD research was on Formal verification of distributed cyber-physical systems.

ms alumni

undergraduate alumni