Cinzia Di Giusto

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

mail: cinzia.di-giusto@univ-cotedazur.fr

selected publications

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
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

news

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