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 successfully defended my PhD on the 21st of October 2022. I started a post-doc at the University of Gothenburg in March 2023.
Download my CV.
Contact: hugomo[at]chalmers.se