Neelakantan R. Krishnaswami

Work

I am 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.

This coming fall, I will join the Theory Group at the University of Birmingham.

Working Drafts

Conference Papers

Published Workshop Papers

Some Drafts

Thesis

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

History


Neelakantan R. Krishnaswami <neelk@mpi-sws.org>
Last modified: Mon Sep 9 13:33:49 CEST 2013