CInzia Di Giusto

mail: cinzia.di-giusto@unice.fr
Laboratoire I3S
Team MDSC, project BioInfo
Office: 214
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
- Petri nets
- Timed automata
- Rewriting systems
Most of the models I have studied find application in distributed, component based systems and more recently I am involved in the modelisation and study of bio-inspired systems.