My area of research is non-classical logic. More precisely: the first months of my PhD have been devoted to the study of lattice-ordered groups, with the aim of establishing connections between their proof-theoretic and their order-algebraic properties.
I am a board member of the Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS).
Master of Logic
I defended my Master of Logic thesis on the 26th of August, 2016, at the Institute for Logic, Language and Computation (Universiteit van Amsterdam). The thesis was supervised by Dick de Jongh and Marta Bílková (Charles University, Prague).