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 developing the proof theory of common knowledge using cyclic proofs, studying intuitionistic versions of epistemic logic and alternative notions of knowledge such as `knowing how' or `knowing why'.    I am also working on (intuitionistic) temporal logic and the theory of cyclic proofs, as well as  intuitionistic logic.

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.