My research focus on the development of algorithmic techniques for the automatic verification of complex systems. I mostly studied two families of infinite-state systems: counter systems which can be seen as finite state machines extended with variables taking value in the naturals (Petri nets belonging to this family of systems) and distributed networks working with an unbounded number of entities. Here is a list of keywords related to my research:
- Complexity and decidability of verification problems
- Model-checking of infinite state systems
- Study of Petri nets end their extensions
- Temporal logics
- Networks parameterised by an unbounded number of entities
