Matteo Tesi

I am a postdoc researcher at the TU Wien. Before that (2019-2023), I got a PhD in philosophy at the Scuola Normale Superiore di Pisa.

I studied philosophy and logic at the University of Florence where I graduated in 2019. 

My research focuses on non-classical (modal, intermediate, and substructural) logics, structural proof theory and their philosophical applications. I have worked with sequent calculi and their generalizations (hypersequents, nested sequents, and labelled sequents) to offer analytic presentations of families of non-classical logics.