Hugo Moeneclaey

Hugo Moeneclaey

Post-doc

University of Gothenburg

Biography

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]chalmers.se

Publications

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

PDF Cite

Selected Talks