![Abhishek Anand](https://popl22.sigplan.org/getProfileImage/abhishekanand/1a2eed3e-ec4a-4ae9-8374-65613eac9e5c/small.jpg?1711479060000)
Registered user since Tue 14 Nov 2017
Name:Abhishek Anand
Country:United States
Affiliation:Cornell University
Personal website: http://www.cs.cornell.edu/~aa755/
Research interests:Proof Assistants, Type Theory, Parametricity, Verification, Robotics
Contributions
POPL 2022-profile
View general profile
View general profile