CInzia Di Giusto

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


 

ON-GOING PROJECTS