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
Computer Engineering Group
Coordinated Science Laboratory
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 of ECE and an Affiliate Professor of CS at the University of Illinois, Urbana-Champaign. He holds a PhD from MIT, MSc from the IISc, Bangalore, and an undergraduate degree in Electrical Engineering from Jadavpur University, Kolkata. He has held postdoctoral and visiting positions at CalTech, Oxford, TU Vienna, and Kirtland Air Force Research Laboratory. He has written a book on verification of cyber-physical systems, published by MIT press in 2021. Sayan received the National Science Foundation's CAREER Award in 2011, AFOSR Young Investigator Research Program Award in 2012, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), a Siebel Fellowship, and several best paper awards.

 YouTube channel  Research wiki (forever outdated) Github


recent papers

current projects



graduate students

undergraduate students

phd alumni

masters alumni

undergraduate alumni

visitors and postdocs

program and steering committees