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

PhD Students

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

Julie Parreaux: together with Pierre-Alain Reynier, on weighted timed (and untimed) games with arbitrary weights, considering stochastic strategies to simulate memory in strategies

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

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 à l'informatique (Licence 1, Portail René Descartes)
  • Mise en œuvre informatique (Licence 1, Portail René Descartes)
  • Science informatique (Licence 1, Portail René Descartes)
  • Découverte de la recherche (double-licence 2 Maths-Info)
  • Introduction à la vérification (Licence 3)
  • Automates et logique (Master 2 IMD)

Contact