Neel Krishnaswami

Dr. Neel Krishnaswami is a University Lecturer at the Department of Computer Science and Technology, University of Cambridge. His research focuses on programming languages, type systems, and formal verification.

• Institution: University of Cambridge
• Department: Department of Computer Science and Technology
• Academic Rank: Lecturer

His research spans type theory, formal verification, and functional programming. Key contributions include work on refinement types, bidirectional typechecking, and separation logic for systems programming.

Recent work trends include bidirectional type systems (2023), formal verification of C code (2023), higher-order automatic differentiation (2022), and comonadic effect systems (2020). Earlier work covers reactive programming (2021), Datalog extensions (2019-2020), and foundational type theory (2013-2015).