I'm a graduate student at MIT CSAIL, currently co-advised by Adam Chlipala and Arvind. My research interests include 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.
32-G888, Stata Center, 32 Vassar St, Cambridge, MA 02139
at mit dot edu || +1-339-225-5940joonwonc
I have worked on formal verification of hardware using the Coq proof assistant:
Awards and Honors