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
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.

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.



master of science