I am a post-doctoral researcher in the Mathematical Logic group at the Computer Science department of Tübingen University (leader: Peter Schroeder-Heister).

My research lies at the border between logic, the philosophy of language and epistemology with a focus on formal and philosophical aspects of Gentzen's style proof-theory.

Since March 2018, I am working on ``Falsity and Refutations: Understanding the negative side of logic'' a project funded by the German Research Foundation.

I regularly contribute to the teaching of the Bachelor and Master programmes in Philosophy of Tübingen University and from 2012 to 2014 I contributed to that of the Master ``Mind & Langange'' of Siena University (which is where I studied as an undergraduate under the supervision of Gabriele Usberti).