Casper Bach Poulsen

About

Before that, I was a PhD in the PLanCompS project at Swansea University, where I was supervised by Peter Mosses.

Research interests

My research focuses on techniques, principles, and tools for defining, implementing, and verifying programs and programming languages. I like to use Coq, Agda, or Idris when working on either side of the Curry-Howard correspondence.