Laura Crosilla

I am Researcher at the University of Florence (Italy). I have also been associated within the Infinity and Intensionality Project at IFIKK, the University of Oslo (Norway), for a number of years. I was Marie Skłodowska-Curie Individual Fellow at IFIKK, University of Oslo. Previously, I was Teaching Fellow in Philosophy at the University of Birmingham (UK). I work in philosophy of mathematics and philosophy of logic. My recent work has focused on the philosophy of predicative and constructive forms of mathematics. I have PhDs in Mathematical Logic and in Philosophy. Prior to specializing in the philosophy of mathematics and logic, I worked as a mathematical logician for a number of years, especially focusing on proof theory and constructive set theory. I worked at the University of Leeds, the University of Florence and LMU Munich.