
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
CoqPL 2022 | Committee Member in Program Committee within the CoqPL-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile