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
Teresa Spence
Office: CSL 251, MC-228
Email: tcspence AT illinois dot edu
Phone: 217 244 7171

Sayan Mitra [CV]

Electrical and Computer Engineering
Coordinated Science Laboratory
Affiliate Professor
Computer Science
University of Illinois at Urbana Champaign.

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

Short bio. Sayan Mitra is a Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. His research interests are in formal verification, distributed computing, and cyberphysical systems. He holds a PhD from MIT, MSc from the Indian Institute of Science, Bangalore, and undergraduate degree in EE from Jadavpur University, Kolkata. He was a postdoctoral fellow at the Center for Mathematics of Information of CalTech, and held visiting faculty positions at Oxford University and Kirtland Air Force Research Laboratory. 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 RiSE Fellowship from TU Vienna, and several best paper awards.

[Wiki][Note to prospective PhDs]

Recent Papers

Ongoing Projects



Graduate Students

Undergraduate Students

Phd Alumni

MS Alumni

Undergraduate Alumni

Past Visitors and Postdocs

Program Committees