Gopalan Nadathur

Gopalan Nadathur headshot

Gopalan Nadathur

Professor, Department of Computer Science & Engineering


Kenneth H. Keller Hall
Room 6-215
200 Union Street Se
Minneapolis, MN 55455


Ph.D., University of Pennsylvania (1987)
Master of Engineering, Indian Institute of Technology Bangalore (1979)
Bachelor of Technology, Indian Institute of Technology Kharagpur (1977)

Professional Background

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.

Research Interests

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

Teaching Subjects
Advanced Programming Principles
Formal Languages and Automata Theory
Programming Languages
Introduction to Compilers