Scholar
Vincenzo Ciancia
Google Scholar ID: MxkeE_AAAAAJ
ISTI-CNR
Citations & Impact
Citations
932
H-index
16
i10-index
24
Publications
20
Co-authors
26
list available
Publications
Resume (English only)
Academic Achievements
- Published several papers, including 'Symbolic and hybrid AI for brain tissue segmentation using spatial model checking', 'Ten Years of Spatial Model Checking', 'Logics of Polyhedral Reachability', 'Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη', etc.
Research Experience
- Currently working at ISTI-CNR in Pisa, in the Formal Methods & Tools Laboratory. Previously, I've been working at the IIT-CNR in Pisa, at the ILLC (University of Amsterdam), and at the Universidad Complutense in Madrid. Involved in projects such as THE: Tuscany Health Ecosystem, Bilateral Agreements CNR-SRNSF (Georgia), Model Checking for Polyhedral Logics, MUR PRIN STENDHAL, MIUR PRIN IT-MATTERS, etc.
Education
- Received a 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 Dependent Automata.
Background
- Research interests include Formal Methods in Computer Science, Spatial Logics and Spatio-Temporal Model Checking, Automata and Category Theory, Artificial Intelligence, with an accent on pairing solid mathematical theories with usable tools and implementation. 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).
