I am presently Researcher, Infinity and Intensionality Project at IFIKK, the University of Oslo. Until July 2021, 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 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.