Embedded Files
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); 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); you can find my thesis here and here.
I am a Lindy Hopper and a Solo Jazz dancer for 2 years, I did the conservatory on violin, and I recently started learning the trumpet.
I am a Lindy Hopper and a Solo Jazz dancer for 2 years, I did the conservatory on violin, and I recently started learning the trumpet.
Page updated
Google Sites
Report abuse