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