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 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.
CV (.pdf)
Research
Distributed, real-time, embedded systems (cyber-physical systems)
Timed, hybrid, probabilistic models and their analyses
Formal methods, automated theorem proving, and deduction
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 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
Graduate students
Taylor Johnson (ECE)
Parasara Sridhar Duggirala (CS)
Jeremy Green (ECE)
Adam Zimmerman (ECE)
Zhenqi Huang (MechE)
Undergraduate students
Zhongdong Zhu
Yaming Tang
Danyang Zhuo
Gautham Vunnam
Past students
Karthekeyan, M. S. (MS. ECE, now at National Instruments)
Berenice Carrasco Cabrera (MS. ECE, now pursuing MBA)
Professional Service
HSCC 2011 15th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2012).
CPSWeek 2011 2nd Cyber-Physical Systems Week.
HSCC 2011 14th Intl. Conf. on Hybrid Systems: Computation and Control.
RTRTS 2010 1st Intl. Workshop on Rewriting Techniques for Real-Time Systems.
HSCC 2010 13th Intl. Conf. on Hybrid Systems: Computation and Control, Stockholm, Sweden.
SSS 2009 11th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems, Lyon, France.
visits