PhD Student in Mathematics

I am currently a PhD student at FCT NOVA and at Tübingen Universität (FCT PhD Scholarship SFRH/BD/143756/2019), and an investigator at CMA and at Carl Friedrich von Weizsäcker-Zentrum. My Advisers are Professor Reinhard Kahle and Professor Isabel Oitavem. My field of study is Logic: Formal Arithmetic, Proof Theory, Computability Theory, and Philosophy of Mathematics. At the moment I am also a visiting scholar at Carnegie Mellon University under a Fulbright scholarship.