About
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).
0Publications listed
Find Neel Krishnaswami elsewhere
Related Searches
You Might Also Like
- NNeelakantan R. KrishnaswamiCarnegie Mellon University · Professor
- NNeelakantan R. KrishnaswamiUniversity of Cambridge · Professor
Dima SzamozvancevUniversity of Cambridge · Associate Professor
Lars BirkedalAarhus University · Professor- AAleksandar NanevskiIMDEA Software Institute · Research Professor
Christopher PulteUniversity of Cambridge · Research Fellow