I am presently Marie Skłodowska-Curie Individual Fellow at IFIKK, University of Oslo. Until June 2019, I was Teaching Fellow in Philosophy at the University of Birmingham (UK). I work in philosohpy of mathematics and philosophy of logic. My recent work has focused on the philosophy of predicative and constructive forms of mathematics. I have worked as a mathematical logician for a number of years, especially focusing on constructive set theory, before going back to philosophy.