Sayan Mitra is a Professor of Electrical and Computer Engineering and the Associate Director of the Center for Autonomy at the University of Illinois at Urbana-Champaign. His research is in safety of autonomous systems, verification, distributed computing, and control theory. His research group at Illinois has created several tools for formal verification, programming, and synthesis. His book on verification will be published by The MIT Press in 2021. He has also coauthored more than one hundred peer-reviewed conference and journal papers. Sayan holds a PhD from MIT, MSc from the Indian Institute of Science, Bangalore, and an undergraduate degree in Electrical Engineering from Jadavpur University, Kolkata. He was a postdoctoral fellow at the Center for Mathematics of Information of CalTech, and has held visiting faculty positions at Oxford University and Kirtland Air Force Research Laboratory. Sayan received the National Science Foundation's CAREER Award, AFOSR Young Investigator Research Program Award in, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award, a RiSE Fellowship from TU Vienna, Siebel Fellowship, and several best paper awards.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.