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.
[ bib | .pdf ]