I'm a graduate student at MIT CSAIL, currently co-advised by Adam Chlipala and Arvind. I'm interested in formal verification for any computer systems that are hard to believe to be correct. I'm an advocate of mechanized proofs, I like to prove something with Coq. I don't believe things not proven.
Office: 32-G804, Stata Center, 32 Vassar St, Cambridge, MA 02139
Email: email@example.com | Phone: +1-339-225-5940
My current research interests are as follows:
Awards and Honors