In my work I engage with philosophical, mathematical and computational aspects of logic, in particular proof theory.

Short Bio:

After my BA and MA in Philosophy at Siena University, in 2010 I obtained a joint PhD degree in Philosophy from Siena and Tübingen universities.

Since 2010 I have been a post-doctoral researcher in the Logic group at the Faculty of Computer Science of Tübingen University (group leader: Peter Schroeder-Heister), working on three individual projects (Eigene Stellen) funded by the DFG.

In 2022 I obtained my Habilitation (or venia docendi) in Philosophy from the Faculty of Philosophy of the University of Tübungen.