![Abhishek Anand](https://popl24.sigplan.org/getProfileImage/abhishekanand/9c35022a-0096-4bdf-8ead-ae1efedbbf8a/small.jpg?1711479060000)
Registered user since Tue 14 Nov 2017
Name:Abhishek Anand
Country:United States
Affiliation:BedRock Systems
Personal website: http://www.cs.cornell.edu/~aa755/
GitHub: https://github.com/aa755
Research interests:Proof Assistants, Type Theory, Parametricity, Verification, Robotics
Contributions
POPL 2024-profile
View general profile
View general profile