Gopalan Nadathur

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