Research

My research interests lie in the field of formal methods for the verification of software. In particular, I am interested in:

• Automata theory,
• Active automata learning,
• Timed automata,
• Software verification,
• Concurrent parametric games.

Consult this page for more information on my past research.

Pages about my research

• My publications.
• My implementations.
• My talks, with slides.
• My PhD thesis.
• An overview of my past research.