I am a researcher at the Centre for Mathematics of the University of Coimbra (CMUC) and the Doctoral Programme in Mathematics held jointly with the Centre for Mathematics of the University of Porto (CMUP). My work lies at the interface of algebra, logic and topology, for which I often employ game-semantic, geometric, functional-analytic and (higher) categorical ideas. I live in the beautiful city of Coimbra, which has a strong academic tradition, an international environment, rich history and culture. 

Research interests: geometric group theory; (higher) category theory; homotopy theory; constructive mathematics; higher-order computability and complexity; categorical logic and topos theory; operator algebra.

Supervision: I am looking for master and PhD students to work with me. Potential research topics include (higher) categories, homotopy (type) theory, geometry and complexity in logic, groups and operators. Contact me if you are interested. 

CV: Before becoming a member of CMUC, I was a postdoctoral research scholar at INESC TEC (the University of Minho) and the University of Minnesota. I also had short-term positions at Kyoto University and Australian National University. I was a PhD student at the University of Oxford (cf. my mathematical genealogy), where my thesis was on game semantics, categorical logic, higher-order computability and constructive mathematics.