Contact

334 Moore Laboratory,
MC 136-93
Pasadena, CA 91125
phone: 626 395 1660
email id:

In September 2007, I graduated from MIT and subsequently joined CalTech as a postdoc. In Fall 2008 I will be starting at University of Illinois at Urbana-Champaign as an assistant professor. Once at UIUC, I will be looking for students. If you have a strong background in Computer Science/ECE and are interested in pursuing a PhD in the area of real-time/hybrid systems and verification, please get in touch any time.

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

Convergence Verification: From Shared Memory to Partially Synchronous Systems. With K. Mani Chandy and Concetta Pilotto. To appear in FORMATS`08
[.pdf]

A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. With K. Mani Chandy. To appear in Theorem Proving in High Order Logics (TPHOLs`08)
[.pdf]

Verifying Average Dwell Time of Hybrid Systems. With Daniel Liberzon and Nancy Lynch. Accepted for publication in ACM Transactions in Embedded Computing Systems
[.pdf]

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

Complete list of papers. Some talk slides.