I am a postdoctoral researcher at the Department of Computer Science of Aarhus University. I work on semantics of programming languages, logics, and type theories.

Drafts

Publications

PhD thesis

Notes and tutorials