Anish Athalye
Description: I am a PhD candidate at MIT in the PDOS group. I'm interested in formal verification, systems, security, and machine learning.
I am a PhD student at MIT in the PDOS group. I’m interested in formal verification, systems, security, and machine learning.
In the past, I’ve been an undergraduate at MIT, and I’ve interned at OpenAI, Dropbox, Google, and ORNL. During undergrad, I co-founded Code for Good and helped run HackMIT .
Verifying Hardware Security Modules with Information-Preserving Refinement
Anish Athalye