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 UB in 2017, under the supervision of Joost Joosten. My current research is on probability logic, strictly positive logics, ordinal analysis, and formal verification.
A. Borges, and J. J. Joosten. The Worm Calculus. Advances in Modal Logic 12: 7--21, 2018.