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. His research aims to develop mathematical, algorithmic and software tools for design and analysis of distributed and cyber-physical 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.

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

  • Fall 12 CS 584 / ECE 584: Embedded System Verification
  • Spring 12 CS 425 / ECE 428: Distributed Systems
  • Fall 11 ECE 190: ECE190: 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
  • C2E2: verification system for simulink/stateflow (coming soon)
  • Graduate students

  • Taylor Johnson (ECE)
  • Parasara Sridhar Duggirala (CS)
  • Zhenqi Huang (MechE)
  • Koushik Roy (ECE)
  • Undergraduate students

  • Le Wang
  • Zhongdong Zhu
  • Yaming Tang
  • Danyang Zhuo
  • Gautham Vunnam
  • Past students

  • 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

  • HSCC 2013, ICCPS 2013
  • SSS 2012, RSS 2012, HSCC 2012
  • CPSWeek 2011, HSCC 2011
  • RTRTS 2010, HSCC 2010
  • SSS 2009