
contact
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
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.
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
recent papers
- Koord: a language for programming and verifying distributed robotics applications, Ghosh, Hsieh, Misailovic, and Mitra, OOPSLA20.
- Online monitoring for safe pedestrian-vehicle interactions., Peter Du, et al., IEEE ITSC 2020. [video]
- Fast and Guaranteed Safe Controller Synthesis, Fan, Miller, Mitra, CAV 20 [video] [code]
- Multi-agent safety verification using symmetry transformations, Sibai, Mokhlesi, Fan, and Mitra. TACAS 2020, Dublin.
- CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination, Ritwika Ghosh, et al., ICRA, 2020. [code] [video]
- Dione: A protocol verification system built with Dafny for I/O automata, Hsieh and Mitra, IFM 2019. [slides] [code]
- Entropy and minimal bit rates for state estimation & model detection. Liberzon and Mitra, IEEE TAC 2018.
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. Fan, Qi, Mitra, & Viswanathan. CAV 2017. [video]
- C2E2: A Verification Tool For Stateflow Models. Duggirala, Mitra, & Viswanathan. TACAS 2015. [code]
current projects
- Probabilistic programming and verification for autonomous systems (NSF)
- Safety of autonomous and learning enabled control systems (Boeing)
- Resilience of cyber-physical systems (NSA SoS lablet)
- Software defined control for smart manufacturing (NSF CPS Frontiers)
- CyPhyHouse: A programming environment for distributed robotics (NSF)
- Entropy and Optimal Communication for Hybrid Systems (AFOSR)
- Privacy Aware Congestion Control in Cyber-Physical Networks (NSF)
courses
- ECE/CS498SM: Principles of Safe Autonomy, Spring 2020, Fall 2020 (New and improved!)
- ECE/CS584: Embedded System Verification: Fall 2019
- ECE/CS498SM: Principles of Safe Autonomy, Spring 2019 (New!)
- ECE220: Intro. to Computing II: Spring 2021, Fall 2018, Fall 2017, Fall 2016, Spring 2015
- ECE/CS584: Embedded System Verification: Fall 2017, Spring 2016, Fall 2015
software
- C2E2: verification system for simulink/stateflow
- DryVR: Formal reasoning + learning + black-box simulations + autonomous vehicles
- CyPhyHouse: A programming environment for distributed robotics
- RealSyn: Controller Synthesis for Linear Systems
graduate students
- Hussein Sibai (ECE)
- Chiao Hsieh (CS)
- Yangge Li
- Minghao Jiang
- Dawei Sun
- Kristina Miller
- Sung Woo Jeon
undergraduate students
- Arnab Datta
- Aditya Gupta
- Yifeng Ni
- Yixuan Jia
phd alumni
- Ritwika Ghosh (CS 2020, now at Bodo.ai)
- Chuchu Fan (PhD ECE 2019, now at MIT Assistant Professor)
- Zhenqi Huang (PhD ECE 2016, now at Zoox)
- Sridhar Duggirala (PhD CS 2015, co-advised M. Viswanathan, now Assistant Prof. at UNC Chapel Hill)
- Taylor Johnson (PhD ECE 2013, now Assistant Prof. at Vanderbilt U.)
masters alumni
- Mokhlesi, Navid (ECE 2021, now at Apple)
- Tianqi (Ted) Liu (ECE 2020, now at Jump)
- Matthew Potok (MS ECE 2018, now at Aurora Flight Sciences)
- Bolun Qi (MS CS 2018, now at Facebook)
- Nicole Chan (MS ECE 2018, now at Pilot AI)
- Yixiao Lin (MS ECE 2016, now at Medallia)
- Adam Zimmerman (MS ECE 2012, now at Google)
- Jeremy Green (MS ECE, 2012, now at Dynamic Motion Control)
- Karthik, M. S. (MS ECE, 2011, now at Indeed.com)
- Berenice Carrasco Cabrera (MS ECE, MBA, now at IBM)
undergraduate alumni
- Peter Leung
- Rong Zhou Li
- Daniel Hernandez
- Marvin Hernandez
- Berk Cagilci
- Shuchen Song
- Peter Du (BE ECE 2018, Graduate student at UIUC)
- Yu Meng (BE ECE 2016, Graduate student at UIUC)
- Le Wang (BE ECE 2013, MS Stanford, now at AMD)
visitors and postdocs
- Eric Sillén (KTH)
- Hongxu Chen (Tsinghua University)
program and steering committees
- ICCPS 2021
- Steering committee member of HSCC (2020--)
- CAV 2020, RTSS 2020, ICCPS 2020
- ICCPS 2019, HOTSOS2019
- HSCC2018, ICCPS2018, QEST2018, HOTSOS2018, DISC 2018
- QEST 2017 EMSOFT 2017 ICCPS 2017 HSCC 2017 (Co-chair with Goran Frehse)
- HSCC 2016, ARCH 2016, CAV (ERC) 2016
- HSCC 2015, QEST 2015, ARCH 2015, LCTES 2015
- HiCons 2014, ARCH 2014, QEST 2014
- HSCC 2013, ICCPS 2013, SSS 2013
- SSS 2012, RSS 2012, HSCC 2012
- CPSWeek 2011, HSCC 2011