32-G630 Stata Center
32 Vassar Street,
Cambridge, MA 02139
phone: 617 253 5971
email: mitras at csail dot mit dot edu

These pages are outdated. If you are not redirected to my current page at UIUC within 5 seconds then follow this link.

At MIT I used to be a member of the Theory of Distributed Systems group, which is a part of the Theory group at CSAIL. My advisor was Professor Nancy Lynch. The main theme of my doctoral research was modeling and verification of computing systems that interact with physical processes. Before coming to MIT I did MSc from the Indian Institute of Science, Bangalore and an undergraduate degree in EE from Jadavpur University, Calcutta.

CV (.pdf)

Recent papers

Trace-based semantics of Probabilistic timed I/O automata. With Nancy Lynch.
In HSCC'07, April 2007.
[ bib | .pdf | full version with proofs ]

Learning Cycle-linear hybrid automata of excitable cell models. With Radu Grosu, Pei Ye, Scott Smolka, Emilia Entcheva, and I.V. Ramakrishnan.
In HSCC'07, April 2007.
[ bib | .pdf ]

Proving approximate implementation relations for probabilistic I/O automata. With N. Lynch. In ENTCS 174(8), pages 71-93, 2007.
[ bib | .pdf ]

Complete list of papers. Some talk slides.