About me

I am a postdoctoral fellow in logic at the Department of Philosophy of Peking University, where I work in the logic group of Yanjing Wang. 

My research interests generally include modal logic, proof theory, intuitionistic modal and dynamic logic and the foundations of mathematics. Currently I am working on epistemic logics, where I am interested in intuitionistic versions of epistemic logic and alternative notions of knowledge such as 'knowing how' or 'knowing whether'.   I am also working on (intuitionistic) temporal logic, Gödel-Löb logic and cyclic proof theory.

I obtained my PhD in mathematics from Ghent University in 2025 under the supervision of  Thomas Studer, David Fernández-Duque  and Andreas Weiermann . I hold a master's degree in logic from University of Amsterdam and a bachelor's degree in mathematics from University of Bern. 

In 2023, I was awarded the Paul Bernays Award by the Swiss Society for Logic and Philosophy of Science.