I am a graduate student at Massachusetts Institute of Technology. Before coming here, I was an undergraduate at the Indian Institute of Technology, Madras. Madras (now renamed Chennai) is also the city I grew up in.
I am interested in formal hardware verification using proof assistants, high-level languages for hardware design which combines verification and design, and computer architecture. My advisor is Professor Arvind, and I work in CSAIL. Recently, I've worked on establishing the equivalence between the operational semantics of hardware systems and axiomatic memory model specifications that programmers normally use to determine behavior of programs. I've also worked on proving the correctness of cache coherence protocols for a multi-level cache hierarchy using the Coq Theorem prover.
[pdf]
Address:
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