I studied Mathematics and Computation at Instituto Superior Técnico in Lisbon, where I obtained a Bachelor's degree in 2014 and a Master's degree in 2016.

My Master's thesis, titled "On the herbrandised interpretation for nonstandard arithmetic", was partly developed during an Erasmus stay at TU Darmstadt in Germany. My advisers were Fernando Ferreira and Ulrich Kolenbach. I started on my doctorate at the University of Barcelona in 2017, under the supervision of Joost Joosten.

My research focuses on provability logic, modal logic, strictly positive logics, and formal verification.

Take a look at my publications and projects.

Link to my personal webpage: aborges.eu