GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Minnesota
/
Gopalan Nadathur
G
Gopalan Nadathur
Professor
Computer Science
,
University of Minnesota
Research Interests
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
Academic Metrics
Links
Grants