Ana de Almeida Borges
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.
Research Interests: provability logic, modal logic, strictly positive logics, ordinal analysis, formal verification