Cinzia Di Giusto

Laboratoire I3S Team MDSC/C&A.


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.

how to reach me

Lab. I3S, office 236

2000, route des lucioles

Sophia Antipolis, France


selected publications

  1. Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
    Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, and 1 more author
    In 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, 2023
  2. A Partial Order View of Message-Passing Communication Models
    Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, and 1 more author
    Proc. ACM Program. Lang., 2023


Mar 26, 2024 HDR defense
Jan 17, 2024 Updated news for the first year of the master in Computer science