I currently hold a position of Research Fellow at the School of Computer Science of the University of Birmingham in UK.
Previously I held a postdoc position (assegno di ricerca) at Dipartimento di Matematica of the Università di Genova in Italy. Before that, I was doing a PhD in mathematics at Stockholms universitet in Sweden under the supervision of Erik Palmgren.
My main research interests are in mathematical logic and category theory, in particular dependent type theories and categorical logic.
Here is my CV. To contact me: