Neelakantan R. Krishnaswami

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge, affiliated with the Computer Laboratory and a Fellow of Trinity College. His research focuses on program verification, programming language design, and the intersection of logic, semantics, and type theory.

• PhD in Computer Science from Carnegie Mellon University (2011)

His work addresses foundational challenges in programming languages, including refinement type systems with explicit proofs, deterministic parsing with fused lexing, and verification of systems code using separation logic. He has also contributed to bidirectional typechecking, higher-order reactive programming, and logical models for concurrency.

Recent publications highlight trends in refinement types with explicit proof terms, parser combinator optimization, and formal verification of C and WebAssembly code. These works span type theory, denotational semantics, and practical compiler design.

• Distinguished Paper Award, POPL 2020
• Distinguished Paper Award, PLDI 2019

He has collaborated extensively on projects involving functional reactive programming, logical relations, and substructural type systems. His contributions include the design of the flap parser library and the Datafun language, which extends Datalog with higher-order features.