I am a post-doc in the research unit for Mathematical Logic 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. I am mainly working on formal and philosophical aspects of Gentzen's style proof-theory.

I am currently in charge of ``Logical Consequence and Paradoxical Reasoning'' 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).