Pierre-Alain Reynier

Professor, Aix-Marseille University, Computer Science department

Researcher at LIS

Head of the modelisation and verification (MoVe) group

Head of the Master Curriculum "Parcours Informatique et Mathématiques Discrètes" (Computer Science and Discrete Maths), new training offer for the period 2018/2022


Laboratoire d’Informatique et Systèmes
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France

Office : A208 (academic library, 2nd floor)
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??

E-mail : firstname.lastname@lis-lab.fr (New!)



Nouvelle formation de master 2018/2022 (new training offer): Parcours Informatique et Mathématiques Discrètes (Computer Science and Discrete Maths)

The next edition of the international workshop on Reachability Problems (RP 2018) will be held in Marseille.

Our algorithm Monotone Pruning for the computation of the minimal coverability set of Petri nets has been implemented in C++ by Florent Jaillet. The tool can be found there.

The french colloquium on Modelization of Reactive Systems (MSR) was held in Marseille in 2017. Please visit the webpage.

Recent work:

A joint work with Emmanuel Filiot on the comparison of Streaming String Transducers and HDT0L systems has been accepted to RP'17. Paper.

Two papers accepted to FoSSaCS'17:

Together with Emmanuel Filiot, we pubslihed a survey on transducers in Siglog Newsletter, July 2016.

Research Topics:

Formal Methods, Verification, Model-Checking, Automata, Logic, Transducers, Timed systems, Petri nets, Concurrency, Robustness.

More details are available via the Research link.

Curriculum Vitae:

A version can be found here (updated nov. 2017).


They are available via the Publications link.


Informations (in french) are available via the Teaching link.