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.