Research

Mathematics has always been a passion of mine, and I have been fascinated with programming since I was eleven and we got a computer at home. I have been lucky enough to study and do research in mathematics and computer science topics full time the last ten years.

Articles and theses

For convenience, here is a list of my articles and theses.

• Symmetric containers (Master thesis)
• Univalent types, sets and multisets (PhD thesis)
• Multisets in type theory (Mathematical proceedings of the Cambridge Philosophical Society 2019 version)
• From multisets to sets in homotopy type theory (JSL 2018 version)
• Type theoretical databases (LFCS 2016, to appear in Annals of Pure and Applied Logic)

Fun stuff

• The anti-pattern game

Current research topics

Algebraic foundations of type theory

Quote operators in λ-calculus and type theory

Combinatorial species and coherence theorems in category theory

Planar graphs in Homotopy Type Theory