Welcome! 

I am Researcher at the Department of Humanities, University of Florence. Prior to Florence, I was at the University of Oslo, working on the project Infinity and Intensionality: Towards a New Synthesis, funded by the Research Council of Norway. The project was hosted by the Department of Philosophy, Classics, History of Art and Ideas (IFIKK), University of Oslo, where I also was Marie Skłodowska-Curie Individual Fellow for two years. My project was titled Infinity in Mathematics: A Philosophical analysis of Critical Views of Infinity and received founding from the European Union Horizon 2020 programme.

I work in Philosophy of Mathematics and Philosophy of Logic. I also have interests in philosophy of science more generally.
My recent work has focused on the philosophy of predicative and constructive forms of mathematics, especially on Hermann Weyl's predicativism. I have two PhDs, the first one in Mathematical Logic and the second one in Philosophy. Prior to my second PhD, I was a mathematical logician for a number of years, focusing on proof theory and constructive set theory and working at the University of Leeds, the University of Florence and LMU Munich. For constructive set theory, see my Stanford Encyclopedia of Philosophy entry: Constructive and Intuitionistic ZF.

In 2008 I was awarded a research grant by the John Templeton Foundation.