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 Associate 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 (2007), 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), Samsung Global Research Outreach Award, and several best paper awards.

[CV][Wiki][Note to prospective PhDs]


  • Spring 16 ECE/CS 584: Embedded System Verification
  • Spring 15 ECE220: Introduction to Computing II
  • Fall 15 ECE/CS 584: Embedded 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
  • 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

  • Zhenqi Huang (ECE)
  • Ritwika Ghosh (CS)
  • Chuchu Fan (ECE)
  • Yixiao Lin
  • Nicole Chan (ECE)
  • Hussein Sibaie (ECE)
  • Undergraduate students

  • Bolun Qi
  • Liyi (Gloria) Sun
  • Shuting (Serena) Li
  • Matthew Potok
  • Past students

  • Sridhar Duggirala (PhD CS 2015, jointly advised with M. Viswanathan, now Assistant Prof. at UConn)
  • Taylor Johnson (PhD ECE 2013, now Assistant Prof. 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 ECE 2013, now at Stanford)
  • Past Visitors and Postdocs

  • Hongxu Chen (Tsinghua University)
  • Program Committees

  • HSCC 2015, QEST 2015, ARCH 2015, LCTES 2015
  • HiCons 2014, ARCH 2014, QEST 2014
  • HSCC 2013, ICCPS 2013, SSS 2013
  • SSS 2012, RSS 2012, HSCC 2012
  • CPSWeek 2011, HSCC 2011