Pierre-Alain Reynier

Professor, Aix-Marseille University, Computer Science department

Researcher at LIS

Head of the modelisation and verification (MoVe) group at LIS

Head of the Master Curriculum "Parcours Informatique et Mathématiques Discrètes" (Computer Science and Discrete Maths)

Co-head (with Nathalie Bertrand) of the working group on Verification of the GDR IM of the CNRS


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!)



PC Member of MSR 2021.

PC Member of GandALF 2021.

PC Member of Petri Nets 2021.

PC Member of MoVeP 2020.

PC Member of Petri Nets 2020.

Damien Busatto-Gaston defended his PhD thesis on December 3rd!

Didier Villevalois defended his PhD thesis on November 26th!

Co-organizer of the annual meeting of GT-Verif, 17-19 June 2019, Nantes.

PC Member of GandALF 2019.

PC Member of MSR 2019.

PC Member of FORMATS 2019.

PC Member of RP 2019.

Invited lecture at EJCIM 2019 on transducers, with Emmanuel Filiot (slides, lecture notes, video).

PC Member of Petri Nets 2019.

PC Member of LICS 2019.

Recent work:

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 oct. 2018).


They are available via the Publications link.


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