I am a postdoctoral fellow at the Sobolev Institute of Mathematics in Novosibirsk.
I am interested in mathematical logic, especially computability theory, and foundation of mathematics. My research so far focused especially on reverse mathematics and combinatorial principles. More recently I started to look at philosophical aspects of computability theory and to non-classical logics. To know a bit more about my research please read my research statement .
I got a PhD in Mathematics at Università degli Studi di Udine, Italy, under the supervision of Prof. Alberto Marcone. You can find an abstract of my thesis "Filling cages: reverse mathematics and combinatorial principles" here.
I graduated in philosophy at Università degli Studi di Milano in 2016 with the thesis "Il teorema di Tennenbaum e i modelli dell'aritmetica".
My e-mail address is marta.fioricarones@outlook.it