phd student @ mit, interested in systems, verification, security, and AI

[ my public key: https://keybase.io/anish; my proof: https://keybase.io/anish/sigs/YRVEA6S72qWpNVsXVWiRPESWpq8XLK2F-dqajqGbjQ8 ]