Office: 266 CSL (Mail Code: 228),
1308 W. Main Street
Urbana, IL 61801
Phone: 217 333 7824 fax: 217 244 5685
Email: mitras AT illinois dot edu

Administrative Assistant
Diana Scott
Office: CSL 251, MC-228
Email: dlscott AT illinois dot edu
Phone: 217 244 7171

Sayan Mitra [CV]

Professor, Electrical and Computer Engineering
Affiliate Professor, Computer Science
Associate Director, Center for Autonomy
University of Illinois at Urbana Champaign.

Research. Safe autonomy (e.g., self-driving cars, spacecraft, and drones), formal methods, distributed systems, programming languages, robotics.

Biosketch Sayan is a Professor, Associate Head of Graduate Affairs, and John Bardeen Faculty Scholar of ECE at UIUC. His research is on safe autonomy. His research group develops theory, algorithms, and tools for control synthesis and verification. Some of these have been patented and are being commercialized. Several former PhD students are now professors: Taylor Johnson (Vanderbilt), Parasara Sridhar Duggirala (NC Chapel Hill), and Chuchu Fan (MIT). Sayan received his PhD from MIT with Nancy Lynch. His textbook on verification of cyber-physical systems was published by MIT press in 2021. The group's work has been recognized with NSF CAREER Award, AFOSR Young Investigator Research Program Award, ACM SRC gold prize, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), Siebel Fellowship, and several best paper awards.

Want to join our group? See this page.

 YouTube channel  Github


recent publication highlights

current projects



graduate students

undergraduate students

  • Daniel Zhu
  • Zixin Mao
  • phd alumni

    masters alumni

    undergraduate alumni

    recent service commitments