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)


Nadathur personal website

Research Interests

Nadathur's research interest is the design, use and implementation of programming languages. He is also interested in logic, especially as it underlies our understanding of programming formalisms and as it informs construction of general reasoning systems.

Research Areas
Software Engineering and Programming Languages
Theoretical Foundations

Current Research
Google Scholar