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 postdoc at Université libre de Bruxelles): 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é.

Contact