Vincenzo Ciancia
Researcher at Consiglio Nazionale delle Ricerche / ISTI
Tuscany, Italy
Summary
👤
Senior🎓
Top SchoolVincenzo Ciancia is a researcher in computer science with 11 years of post-PhD experience leading work on spatial and spatio-temporal model checking at ISTI-CNR in Tuscany. He pioneers methods that connect hybrid-AI with formal verification, focusing on mean-field and fluid-flow approximations of collective behaviour, topological spatial logics, and approximate reasoning. His background includes postdoctoral positions at the University of Amsterdam and Universidad Complutense de Madrid and a PhD from Università di Pisa, giving him deep theoretical grounding in logics and category theory. He combines formal methods and practical modelling to make scalable analyses of complex systems tractable. Colleagues value his ability to translate abstract mathematical ideas into implementable verification techniques and tools.
11 years of coding experience
1 year of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Università di Pisa
Github Skills (200)
python10
simpleitk10
3d10
medical-imaging10
backend10
opencl10
openxr10
editor10
audio10
ai10
opengl10
vulkan10
electron10
graph10
typescript10
Programming languages (16)
Github contributions (5)
VoxLogicA-Project/VoxLogicA-2
Jan 2025 - Jul 2026
Contributions:135 pushes, 7 branches, 5 comments in 1 year 5 months
vincenzoml/VoxLogicA
Nov 2018 - Dec 2022
VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images in a simple way. See also http://www.voxlogica.org .
Contributions:27 releases, 1 review, 840 commits in 4 years 1 month
interpretervoxelmedical-imagingspatial-analysisspatial-logics
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.