
Gopalan Nadathur
Professor, Department of Computer Science & EngineeringContact
Kenneth H. Keller Hall Room 6-215 200 Union Street SeMinneapolis, MN 55455
Biography
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