I obtained my Bachelor of Arts in Philosophy and my Master of Arts in Philosophy from the University of Bern. My bachelor's thesis was on Russellian definite descriptions and first-order modal logic. In my master's thesis I focused on diagonalization, fixed point theorems, and paradoxes of self-reference. I am currently doctoral student under the supervision of Prof. Fabrice Correia and Prof. Thomas Strahm. My doctoral thesis is on axiomatic truth for weak fragments of arithmetic. My main research interests are in mathematical and philosophical logic.