Pierre-Alain Reynier

Professor, Aix-Marseille University

Teaching at the Computer Science department of the Faculty of Science

Researcher at LIS

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

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 : 05.38, TPR2 building
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??

E-mail : firstname.lastname@lis-lab.fr



The annual meeting of GT-Vérif will be held in Saclay, November 17-19.

Léo Exibard defended his PhD on September 20! Congrats!

STACS 2022 will be held in Marseille!

PC Member of Petri Nets 2022.

PC Member of MSR 2021.

PC Member of GandALF 2021.

PC Member of Petri Nets 2021.

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.