Hello! I am a PhD student at MIT studying programming languages and formal verification. I am advised by Adam Chlipala. Previously, I was an undergraduate researcher at Stanford’s Center for Automated Reasoning (CENTAUR).
More content and better web design are coming soon!