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.
Anish Athalye*, Nicholas Carlini*, and David Wagner.
(Best Paper Award)
Anish Athalye*, Logan Engstrom*, Andrew Ilyas*, and Kevin Kwok.
Andrew Ilyas*, Logan Engstrom*, Anish Athalye*, and Jessy Lin*.
Rahul Chatterjee, Anish Athalye, Devdatta Akhawe, Ari Juels, and Thomas Ristenpart.
(Distinguished Student Paper Award)
Anish Athalye* and Nicholas Carlini*.