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

Sayan Mitra

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

Brief bio. Sayan Mitra is an Assistant Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. He is a member of the Coordinated Science Laboratory and the Information Trust Institute, and an affiliate of the Department of Computer Science. His research aims to develop mathematical, algorithmic and software tools for design and analysis of distributed and cyberphysical systems. Sayan graduated from MIT in 2007 and spent one year as a post-doctoral researcher at the Center for Mathematics of Information of CalTech. Earlier, he completed MSc from the Indian Institute of Science, Bangalore and undergraduate degree in EE from Jadavpur University, Kolkata. He 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), Samsung Global Research Outreach Award.

CV (.pdf)


  • Distributed, real-time, embedded systems (cyber-physical systems)
  • Formal methods, automated theorem proving
  • Multi-agent systems, mobile robot coordination

  • Visit the group's research wiki for details. See this article for an overview and the publications for the list of publications. Read this if you are interested to join the team.


  • Fall 14 ECE/CS584: Embedded and cyberphysical system verification
  • Spring 14 ECE198KL: Introduction to Computing II
  • Fall 13 ECE 198KL: Introduction to Computer Engineering II
  • Spring 13 ECE 190: ECE190:Introduction to Computing Systems
  • Fall 12 CS 584 / ECE 584: Embedded System Verification
  • Spring 12 CS 425 / ECE 428: Distributed Systems
  • Fall 11 ECE 190: Introduction to Computing Systems
  • Software tools

  • Passel tool for verification of hybrid networks
  • Hylink: Simulink-Stateflow translator framework (email me for latest)
  • C2E2: verification system for simulink/stateflow
  • Graduate students

  • Parasara Sridhar Duggirala (CS)
  • Zhenqi Huang (ECE)
  • Ritwika Ghosh (CS)
  • Chuchu Fan (ECE)
  • Yixiao Lin (ECE)
  • Undergraduate students

  • Matthew Potok
  • Chengyang Wang
  • Past students and Visitors

  • Taylor Johnson (PhD ECE 2013, now Assistant Professor at UT Arlington )
  • Adam Zimmerman (MS ECE 2012, now at Google)
  • Jeremy Green (MS ECE, 2012, now at Dynamic Motion Control)
  • Karthekeyan, M. S. (MS ECE, 2011, now at National Instruments)
  • Berenice Carrasco Cabrera (MS ECE, now at IBM)
  • Le Wang (BE, now pursuing MS at Stanford)
  • Hongxu Chen (Visiting researcher, now PhD student at Tsinghua University)

    Program Committees

  • 2013: HSCC ICCPS SSS
  • 2012: SSS RSS HSCC
  • 2011: CPSWeek HSCC
  • 2010: RTRTS HSCC