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.