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