Gaëtan Staquet

I am currently a Maître de Conférences (young professor) at École Centrale de Nantes, in France. I am also part of the Laboratoire des Sciences du Numérique de Nantes - LS2N, in the STR team.

Previously, I was an Inria postdoctoral researcher, supervised by Nathalie Bertrand in the DEVINE team of the IRISA laboratory, in Rennes, France.

During my PhD thesis (from October 2020 to September 2024), I was a F.R.S.-FNRS Research Fellow. I was co-supervised by Véronique Bruyère (Computer Science Department, University of Mons, Belgium) and Guillermo A. Pérez (Computer Science Department, University of Antwerp, Belgium). I defended my thesis on 11 September 2024. For more information, see the dedicated page.

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.

Important pages

• Research.
• Teaching.
• Supervision.
• Program committees, administrative and collective responsibilities, outreach, and so on.

Contact and links

• gaetan.staquet [at] ls2n.fr
• ORCID: 0000-0001-5795-3265.
• Google Scholar.
• DBLP.