conf.researchr.org / Abhishek Anand
![Abhishek Anand](https://conf.researchr.org/getProfileImage/abhishekanand/09f534c6-cdb1-4ccf-ac14-0e92f2b23063/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