sayan mitra

Contact

266 Coordinated Science Laboratory (Mail Code: 228),
1308 W. Main Street
Urbana, IL 61801
phone: 217 333 7824 fax: 217 244 5685
email:

Whats relatively new

Journal article: Verification of Distributed Systems with Local-Global Predicates with Chandy, Go, Pilotto, and White is going to appear in Formal Aspects of Computing. .pdf

Taylor has won the "Most Interesting CPS Research Problem" prize at the RTSS 2009 Ph.D. Student Forum on Cyber-Physical Systems for this position paper. Congratulations!

To appear:Hybrid Cyberphysical System Verification With Simplex Using Discrete Abstractions, with Stanley Bak and Ashley Greer, in 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010).

Submission:Safe and Stabilizing Distributed Cellular Flows with Taylor and Karthik on a brand new distributed traffic control problem.

Journal article:Verification of periodically controlled hybrid systems, with Wongpiromsarn, Murray, and Lamperski accepted for publication in Special Issue of ACM Trans. on Embedded Computing Sys.

Invited talk at: Caltech Verification and Validation Workshop, September 2009.

Conference paper: Stability of Distributed Algorithms in the face of Incessant Faults with Lee DeVille appeard in the proceedingd of SSS'09. .pdf

Sayan Mitra

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

Brief bio. Graduated from MIT in 2007. Subsequently, one year post-doctoral research at the Center for Mathematics of Information of CalTech.
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

See publications page for details. I am looking for bright and motivated PhD students. Read this if you are interested.

Teaching

Spring 10 ECE598SM: Modeling and Verifying Embedded Computing Systems

Fall 09 ECE190: Introduction to Computing Systems

Spring 09 ECE428/CS425: Distributed Systems

Fall 08 ECE598SM1: Modeling and Verification of Real-time and Hybrid Systems

Students

Taylor Johnson (ECE grad., UIUC)

Karthekeyan, M. S. (ECE grad, UIUC)

Parasara Sridhar Duggirala (CS grad, UIUC)

Shashank Gupta (summer intern 2009, IITKgp)

Current Program Committees

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