← Back to People
Cinzia Di Giusto
PhD Supervisor
CNRS
About
Cinzia Di Giusto is CNRS researcher at Université Côte d'Azur. She is a PhD Supervisor in E-CoRe, focusing on formal verification, type systems, and reversible concurrent systems.