Email: firstname.lastname@example.org (PGP: 086B3B32)
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.
- Anish Athalye. CoqIOA: A formalization of IO Automata in the Coq Proof
Assistant. Master’s thesis, Massachusetts Institute of Technology, June
- Rahul Chatterjee, Anish Athalye, Devdatta Akhawe, Ari Juels, and Thomas
Ristenpart. pASSWORD tYPOS and How to Correct Them Securely. IEEE
Symposium on Security and Privacy 2016. (Distinguished Student Paper Award)
- Anish Athalye, Ilya Sutskever. Synthesizing Robust Adversarial