Dawei is a 4th year PhD student in ECE. His research is combining machine learning and control theory for verification and synthesis. He has developed HooVer using multi-armed Bandit algorithms for statistical model checking. He has also developed approaches for synthesizing controllers for multi-robot systems using contraction theory and learning.
Yangge (BS, MS ECE, UIUC) is currently pursuing PhD. He is exploring verification techniques for autonomous systems. He is building the next generation verification framework for cyber-physical and autonomous systems.
Katherine is a second year PhD student in Computer Science and her interests are in algorithms, verification, and probabilistic reasoning.
Yixuan is an ECE undergrad and he part of the GRAIC team.
Raj is an ECE undergrad and he part of the GRAIC team.
Hussein completed his PhD from ECE in 2021 and he is currently a postdoc at UC Berkeley. His research explored how model structure and symmetries can help scale verification of autonomous systems. He has developed abstractions, algorithms and data-structures that have shown in some cases 100x speed-up of verifcation for nonlinear, hybrid, and multi-agent systems. Hussein received Illinois' Mavis Fellowhip, best poster award at HSCC'18, and ACM Gold Prize for Student Research.
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 and it was recognized with the ACM Doctoral Dissertation Award---the top prize for CS PhD in the world!
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 Associate Professor of EECS at Vanderbilt University. Taylor's PhD research was on Formal verification of distributed cyber-physical systems.