He/HimProfessor, Department of Computer Science & Engineering
Minneapolis, MN 55455
Research & Teaching
Publications & Awards
Ph.D., University of Pennsylvania (1987)
Master of Engineering, Indian Institute of Technology Bangalore (1979)
Bachelor of Technology, Indian Institute of Technology Kharagpur (1977)
Gopalan Nadathur joined the Department of Computer Science & Engineering in 2000. He received a Ph.D. in computer science from the University of Pennsylvania. Prior to joining the department, he was a member of the faculty at Duke University, the University of Chicago, and Loyola University Chicago. Additionally, he has held visiting professorships at the University of Munich, Ecole Polytechnique (France), the Australian National University, the IT University of Copenhagen, and IIT Delhi, and has been a visiting Director of Research at Inria (Nancy).
Nadathur's research and teaching focuses on the foundational aspects of computer science. He has taught courses on programming languages and programming principles, compilation, logic, and computability theory. His research has spanned topics in computational logic, structural proof theory, and logic based programming languages and their implementation. At a practical level, he has collaboratively developed implementations of languages and proof assistants that are useful in formally specifying and reasoning about computational systems that are described in a rule-based fashion.
The Sparrow Project Page
The Abella Proof Assistant
The Adelfa Proof Assistant
The Teyjus Implementation of Lambda Prolog
Mary Southern (2021); Yuting Wang (2016); Andrew Gacek (2009); Xiaochu Qi (2009); Michael Whalen (2005; co-advisor); Keehang Kwon (1994, Duke University).
SHF: Small: A Higher-Order Framework for Meta-Theoretic Reasoning
Nadathur, G.; National Science Foundation; 7/1/16 - 9/30/22
Towards the verified compilation of functional languages
Nadathur, G.; Grant-in-Aid of Research, University of Minnesota; 7/1/15 - 1/1/17
SHF: Small: Reasoning about Specifications of Computation
Nadathur, G.; National Science Foundation; 6/1/09 - 9/30/14