I am a Post-Doc researcher at Heidelberg University in the Complex geometry and Homotopy type theory group.
Previously I was a member of the Center for Mathematical Studies (CEMS.UL / CMAFcIO) at the University of Lisbon.
My research focuses on Higgs bundles and their geometric properties.
I am currently looking for a postdoc position.
Formal proof and synthetic mathematics
Heidelberg University, 24-25-26 June 2026
(Registration is now closed)