Curriculum Vitae

Since 2018 I am lecturer at the Department of Computing, Imperial College London.

In 2012-18 I was maître de conférences at the Laboratoire IBISC, Université d'Evry. In 2017 I have received by Habilitation a Diriger des Recherches (HDR).

Until 2012 I was Research Associate at the Department of Computing, Imperial College London.

In 2009-11 I was Marie Curie fellow on the FoMMAS project.

In 2006 I received my PhD in Philosophy from Scuola Normale Superiore with a dissertation on Quantified Modal Logic and the Ontology of Physical Objects.

In 2002 I received my Diploma di Licenza from SNS with a dissertation on La Logica Modale applicata alla Teoria della Dimostrazione (Modal Logic applied to Proof Theory).

Also in 2002 I graduated in Logic at the Department of Philosophy, University of Pisa, with an MA project on Aspetti Semantici delle Logiche Sottostrutturali (Semantical Aspects of Substructural Logics).

For a detailed list of academic and extra-curricular activities, you can refer to my CV.