Sayan Mitra

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

Yangge Li

Yangge (BS, MS ECE) is investigating algorithms for design and analysis of vision-based autonomous systems. He is also the primary creator of the the next generation verification framework Verse which is being used in undergraduate students at Illinois.

Yan Miao

Yan is an ECE PhD student and he is exploring the limits of robust vision-based control for agile aerial vehicles.

Chenxi Ji

Chenxi is a PhD student in ECE and is investigating verification and control.

Ege Yuceel

Ege is a PhD student in ECE and is investigating controller-observer co-design.

Alex Yuan

Alex is pusruing MS in ECE investigating new data structures and algorithms for data-driven verification. Hiw work is contributing to Verse framework.

Jai Anchalia

Jai is pusruing MS in ECE. His research interests are at the intersection of learning and autonomy.

Will Shen

Will is pusruing MS in ECE.

Ye Liu

Ye is pusruing MS in ECE and she is researching simultaneous localization and mappint (SLAM).

Akul Datta

Akul is pusruing MS in CS.

Daniel Zhuang

Daniel is pusruing MS in CS.

Kristina Miller

Kristina (BS MechSE, Illinois) completed her PhD in ECE in 2024 and joined Air Force Research Laboratories (AFRL). Her research developed algorithms for synthesizing controllers for challengin planning and control problems, and their applications in autonomous systems. She is the lead developer of the FACTEST synthesis engine.

Dawei Sun

Dawei completed his PhD in ECE in 2023 and joined ByteDance. One of the key contributions of his thesis was the development of controller synthesis algorithms in which both the controller and the correctness certificates are represented as neural networks. His work is embodied in software tools like HooVer Neureach and he also deployed his controllers on quadrotors.

Chiao Hsieh

Chiao completed his PhD in CS in 2023. He pioneered the work on safety of vision-based control systems using perception contracts. Earlier he led the work on the Koord language.

Hussein Sibai

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.

Ritwika Ghosh

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

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

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.

Taylor Johnson

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.