20 September 2017
I am a PhD student at the Mathematical Institute (Universität Bern) under the supervision of George Metcalfe. I started my PhD in September 2016.
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). I am currently involved in the organization of AiML 2018 and LATD 2018.
Master of Logic
I defended my Master of Logic thesis on August 26, 2016, at the Institute for Logic, Language and Computation. The thesis was supervised by Dick de Jongh and Marta Bílková.