Research

Research topics: formal methods for the verification and synthesis of software, especially the quantitative aspects of formal languages and automata theory, game theory, and grammatical inference

Publications

External lists: HAL, DBLP or Google Scholar

Former PhD Student

Damien Busatto-Gaston (now Maître de conférences at Université Paris-Est Créteil, LACL): together with Pierre-Alain Reynier, on weighted timed (and untimed) games with arbitrary weights, trying to solve or approximate larger classes of such games, that are undecidable in general

Théodore Lopez: together with Jean-Marc Talbot, on transducers and cost register automata models

Julie Parreaux (now Maîtresse de conférences at Université Rennes): together with Pierre-Alain Reynier, on weighted timed (and untimed) games with arbitrary weights, considering stochastic strategies to simulate memory in strategies

Software

Contributor of MightyL: A tool to convert formulas written in the MITL logic into a set of timed automata, whose synchronous product accepts the language of the formula

Author of QuantiS: A tool for verifying quantitative specifications

Author of a prototype tool to solve total-payoff games with or without reachability objectives

Recent Talks

Internships proposals

Teaching

I am teaching in the Computer Science and Interactions Department of Aix-Marseille Université. I am also co-responsible of the Portail Descartes.

  • Introduction à la science informatique (Licence 1, Portail René Descartes)
  • Méthodologie (Licence 1, Portail René Descartes)
  • Logique (Licence 3)
  • Automates (Master 2 IMD)

Contact