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.
Sung (BS ECE, UIUC) is pusrsuing MS in ECE and is working on multi-agent systems, autonomous vehicles and security.
Minghao (BS ECE, UIUC) is pursuing MS in ECE. His research is about planning and testing autonomous vehicles.
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.
Arnab is an ECE undergrad and he is exploring racing algorithms.
Aditya is an Aerospace undergrad and he is developing controller synthesis algorithms in FACTEST.
Yifeng is an ECE undergrad and he is developing a fixedwing aircraft model for synthesis and Koord research.
Yixuan is an ECE undergrad and he part of the autonomous racing team.
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.
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.