Registered user since Mon 4 Jan 2016
I’m a grad student at MIT, working in Adam Chlipala’s lab to create tools to make software more reliable. My research focuses on proof assistants, compilers, and programming languages, and my broader interests include databases, optimization, type theory, and linguistics.
|CoqPL 2016||Company-Coq: Taking Proof General one step closer to a real IDE|
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile