I am a postdoc at the Department of Mathematics at Stockholm University. My main research interests are in Homotopy Type Theory, in particular its semantics using (higher) category theory. I am also interested in type theory in general and pure category theory.

Papers

Publications

Preprints

PhD Thesis

Abstract and Concrete Type Theories. Institute for Logic, Language and Computation, University of Amsterdam, 9 July, 2021. abstract pdf UvA DARE

Other documents

Talks

Awards

Activities

Contact

See my profile at the university site.