Cinzia Di Giusto

Laboratoire I3S Team COMRED/Scale

cinzia.jpeg

Lab. I3S, office 236

2000, route des lucioles

Sophia Antipolis, France

My main research interest concern concurrent and timed concurrent computations: how to model them, what is the expressiveness of the obtained framework, what are the properties that can be proved.

I have mainly worked with:

  • Process algebra with and without typing systems
  • Communicating automata
  • Petri nets
  • Timed automata
  • Rewriting systems

I am currently the pedagogic coordinator of the first year of the master in Computer Science.