I am a researcher at ISTI-CNR in Pisa, working in the Formal
Methods & Tools Laboratory (lab. coordinator: Maurice ter Beek). Previously, I've been
working at the IIT-CNR in Pisa, at the ILLC (University of Amsterdam), and at the Universidad
Complutense in Madrid.
I received my Ph.D. in 2009 from the Department of Computer
Science at the University of Pisa, under the supervision of
Prof. Ugo Montanari. My Ph.D. thesis and subsequent work was
devoted to Coalgebras, Presheaf Categories, and History
I am currently involved in the Italian project MIUR PRIN Methods
and Tools for Trustworthy Smart Systems (It-Matters)
My research interests include Formal Methods in Computer Science, Spatial Logics and Spatio-Temporal
Model Checking, Automata and Category Theory, with an accent on pairing solid mathematical theories
usable, albeit prototypical tools.
Recently, my interests have been mostly focused on the VoxLogicA
project, bringing formally specified expert knowledge to the
realm of Medical Imaging via Model checking, in collaboration
with colleagues at ISTI-CNR (Giovanna Broccia, Diego Latella,
Mieke Massink), at the San Luca Hospital in Lucca (Gina
Belmonte) and at the department of Computer Science in Pisa
(Laura Bussi, Fabio Gadducci).