I am a PhD student at MIT in the PDOS group, advised by Frans Kaashoek and Nickolai Zeldovich. I’m interested in formal verification, distributed systems, systems security, and artificial intelligence.
In the past, I’ve been an undergraduate at MIT, an intern at OpenAI, an intern at Dropbox, and an intern at Google. During undergrad, I co-founded Code for Good and helped run HackMIT.
See my website or blog for more information.