Registered user since Tue 27 May 2025
Name:Gopalan Nadathur
Country:United States
Affiliation:University of Minnesota
Personal website: https://cse.umn.edu/cs/gopalan-nadathur
Research interests:Computational Logic, Programming Languages, Automated Reasoning
Contributions
Using general profile