Registered user since Sun 19 Jan 2025
Name:Anirudh Basu
Country:United States
Affiliation:University of California, Davis
GitHub: https://github.com/abasu2
Research interests:Programming Languages, Logic, Verification
Contributions
Using general profile