I am currently a Research Associate at the Department of Computing,
Imperial College London, working on the EU STREP Project
ACSI.
From 2009 to 2011 I was a Marie Curie fellow at the Department
of Computing, Imperial College London.
From 2007 to 2009 I was a Research Associate at
the Scuola Normale Superiore,
Pisa. I also benefited from an International Joint Project grant
from the Royal
Society.
In 2007 I was a
Research Associate in the EU STREP project CONTRACT.
In 2006 I received my PhD in Philosophy from the SNS with a PhD thesis
on
Quantified Modal Logic and the Ontology of Physical Objects.
In 2002 I received the Diploma di Licenza from the SNS with a thesis 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 thesis 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.
