Hugo Moeneclaey
Post-doc
University of Gothenburg and Chalmers University of Technology
Biography
I am interested in type theory and its homotopical interpretations. At the moment I am mainly working on synthetic homotopy theory and synthetic algebraic geometry.
I started a post-doc at the University of Gothenburg in March 2023.
Download my (outdated) CV.
I successfully defended my PhD on the 21st of October 2022.
Download the slides of the defense.
Contact: hugomo[at]chalmers.se
Publications
(2025).
Châtelet’s theorem in synthetic algebraic geometry.
ArXiv preprint.
(2025).
Differential geometry of synthetic schemes.
ArXiv preprint.
(2024).
A foundation for synthetic Stone duality.
ArXiv preprint.
(2022).
Cubical models are cofreely parametric.
PhD Thesis.
(2022).
Notions of parametricity as monoidal models for type theory.
ArXiv preprint.
(2021).
Parametricity and semi-cubical types.
LICS.
(2019).
Toward a cubical type theory univalent by definition.
Internship report.
(2019).
Monoids up to coherent homotopy in two-level type theory.
Internship report.
(2018).
Quasi-categories and complete Segal spaces.
Master thesis.
(2017).
Expansion proofs for arithmetic.
Internship report.
(2017).
Finitary higher inductive types in the groupoid model.
MFPS.
(2016).
A schema for higher inductive types of level one and its interpretation.
Internship report.