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 as an associate professor. He received his M.E. (1979) in automation from the Indian Institute of Science and his Ph.D. (1987) in computer science from the University of Pennsylvania. Prior to his time at the University, Nadathur served as an assistant professor at Duke University from 1987-94, an associate professor at the University of Chicago from 1995-99, and an associate professor at Loyola University Chicago from 1999-2001.
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 implementions of languages and proof assistants that are useful in formally specifying and reasoning about computational systems that are described in a rule-based fashion.
Research Areas
Software Engineering and Programming Languages
Theoretical Foundations
Current Research
Google Scholar
The Abella Proof Assistant
The Adelfa Proof Assistant
The Teyjus Implementation of Lambda Prolog
The Sparrow Project Page
Visit Gopalan Nadathur's Experts@Minnesota profile page.