CInzia Di Giusto

tournesol.jpg  Contact : Cinzia Di Giusto
  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.