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)
visual-studio10
openxr10
silk10
scientific-visualization10
viewer10
analyser10
spatial10
opencl10
editor10
audio10
microsoft10
opengl10
opentk10
pytorch10
glfw10
Programming languages (16)
Github contributions (5)
vincenzoml/topochecker
Apr 2015 - Nov 2019
Contributions:124 commits, 107 pushes, 2 branches in 4 years 8 months
vincenzoml/vincenzoml.github.io
Sep 2019 - Feb 2024
Contributions:16 pushes, 2 branches in 4 years 5 months
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.