I am a graduate student at MIT. Before coming here, I was an undergraduate at the Indian Institute of Technology, Madras. Madras (or rather Chennai) is also the city I grew up in.
I am interested in automated theorem proving, formal verification and high-level languages for hardware design and computer architecture My advisor is Professor Arvind. Recently, I've been working on proving the correctness of a cache coherence protocol for a multi-level cache hierarchy using the Coq Theorem prover.
Computer Science and Artificial Intelligence Lab
The Stata Center
Massachusetts Institute of Technology
32 Vassar Street, 32-G836
Cambridge, MA 02139

Email: {first_character_of_my_last_name}{first_six_characters_of_my_first_name} at csail dot mit dot edu