PhD in Mathematics and Computer Science
I am an Assistant Professor at ISCAL (Professor Adjunto Convidado) and I am an investigator at CMAFcIO.
I am an Assistant Professor at ISCAL (Professor Adjunto Convidado) and I am an investigator at CMAFcIO.
My field of study is Logic: Formal Arithmetic, Proof Theory, Computability Theory, and Philosophy of Mathematics. I was a visiting scholar at Carnegie Mellon University under a Fulbright scholarship.
My field of study is Logic: Formal Arithmetic, Proof Theory, Computability Theory, and Philosophy of Mathematics. I was a visiting scholar at Carnegie Mellon University under a Fulbright scholarship.
I got my PhD in Mathematics from NOVA FCT (Doutoramento em Matemática) and in Computer Science (Dr. rer. nat.) from Tübingen Universität (FCT PhD Scholarship SFRH/BD/143756/2019); my Advisers were Reinhard Kahle and Isabel Oitavem; you can find my thesis here and here.
I got my PhD in Mathematics from NOVA FCT (Doutoramento em Matemática) and in Computer Science (Dr. rer. nat.) from Tübingen Universität (FCT PhD Scholarship SFRH/BD/143756/2019); my Advisers were Reinhard Kahle and Isabel Oitavem; you can find my thesis here and here.