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.
