Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

Sayan Mitra

Profile Photo
Associate Professor, Electrical and Computer Engineering
Ph.D., MIT, 2007. Thesis title: "A Verification Framework for Hybrid Systems." Advisor: Nancy Lynch

Professor Mitra's work deals with the modeling and analysis of real-time, hybrid, and probabilistic systems, as well as software tools for and applications of them. Typical applications include control systems, robotics, mobile networks, and biological systems. The goals of his research are (a) to develop the foundations for analyzing hybrid systems and (b) to facilitate design and verification of actual systems by creating software tools for synthesis, simulation, and verification.

(217) 333-7824
mitrasatillinois [dot] edu