# CV

Download a pdf version of my full CV here.

# Education

- Licenciatura em Matemática Aplicada e Computação, Instituto Superior Técnico, 2011
- Mestrado em Matemática e Aplicações, Instituto Superior Técnico, 2013
- D.Phil in Mathematics, University of Oxford, 2017

# Work experience

- 2017/2018: Visiting Researcher
- Max Planck Institute for Mathematics, Bonn

- 2018/2019: Postdoctoral Researcher
- University of Hamburg
- Department of Mathematics
- Part of the Research Training Group “Mathematics Inspired by String Theory and Quantum Field Theory”

- 2019 - 2022: Postdoctoral Researcher
- Instituto Superior Técnico, University of Lisbon
- Department of Mathematics
- Part of the “Higher Structures and Applications” research project

- August 2022 - January 2023: Research Associate
- University of Cambridge
- Department of Computer Science and Technology
- Part of the Cambridge Logical Structures Hub