Gopalan Nadathur

Gopalan Nadathur headshot

Gopalan Nadathur

Professor, Department of Computer Science & Engineering

Contact

Kenneth H. Keller Hall
Room 6-215
200 Union Street Se
Minneapolis, MN 55455
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