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

Administrative Assistant
Carol Wisniewski
Office: CSL 251, MC-228
Email: cwisnwsk AT illinois dot edu
Phone: 217 244 7171

Sayan Mitra

Assistant 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)

Research


  • 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.

    Teaching

  • 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
  • Fall 10 ECE 190: Introduction to Computing Systems
  • Spring 10 ECE598SM: Modeling and Verifying Embedded Computing Systems
  • Fall 09 ECE190: Introduction to Computing Systems
  • Spring 09 ECE428/CS425: Distributed 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)
  • Tao Yang
  • Visitors and Postdocs

  • Hongxu Chen (PhD student at Tsinghua University)
  • Undergraduate students

  • Le Wang
  • Yixiao Lin
  • Yi Lu
  • Past students

  • Taylor Johnson (PhD ECE 2013, now 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 pursuing MBA)
  • Program Committees

  • HiCons 2014, ARCH 2014, QEST 2014
  • HSCC 2013, ICCPS 2013, SSS 2013
  • SSS 2012, RSS 2012, HSCC 2012
  • CPSWeek 2011, HSCC 2011
  • RTRTS 2010, HSCC 2010
  • SSS 2009