Hugo Moeneclaey

Hugo Moeneclaey


University of Gothenburg


I am interested in type theory and its homotopical interpretations.

Download my CV.

I started a post-doc at the University of Gothenburg in March 2023.

I successfully defended my PhD on the 21st of October 2022.

Download my thesis.

Download the slides of the defense.

Contact: hugomo[at]


(2017). Finitary higher inductive types in the groupoid model. MFPS.

PDF Cite

Selected Talks