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

Short Bio:

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

From 2010 to 2021 I have been a post-doctoral researcher in the Logic group at the Faculty of Computer Science of the University of Tübingen (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übingen.