Neelakantan R. Krishnaswami


I am a lecturer (equivalent to an assistant professor) at the Computer Laboratory, at the University of Cambridge.

Before that, I was a Birmingham Fellow at the University of Birmingham, in the Theory Group. Before that, I was a postdoc at the Max Planck Institute for Software Systems, working with Derek Dreyer. Before that, I was a postdoc at Microsoft Research, working with Nick Benton, and before that, I was a Ph.D. student under the supervision of John C. Reynolds and Jonathan Aldrich.


Working Drafts

Conference Papers and Journal Articles

Published Workshop Papers

Some Drafts


Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic