You can buy my new book here and read my first Physics paper here!
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 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.