I am a PhD student in the Logic and Types unit in the shared Department of Computer Science and Engineering of the University of Gothenburg and Chalmers University of Technology. I am supervised by Thierry Coquand and Christian Sattler.

My work is on semantics of homotopy type theory and its extensions used for justifying synthetic mathematics. I am particularly interested in developing these semantics in a constructive meta theory.