Pierre-Alain Reynier

Professor, Aix-Marseille University

Teaching at the Computer Science department of the Faculty of Science

Researcher at LIS, member of the MoVe team

Co-head (with Jérémie Chalopin) of the Pôle Calcul division of the LIS

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


Contact:

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



Welcome!

News:

The 2025 annual meeting of GT-Vérif will be held at LACL (Créteil), on November 5-7. Consider attending!

Julie Parreaux has received an award from the city council of Marseille for her PhD thesis, Congrats!

Julie Parreaux has been hired as assistant professor at IRISA, ISTIC (Rennes). Congrats!

The 2024 annual meeting of GT-Vérif was held at CRISTAL (Lille), on November 19-21, with a shared day with GT SCALP.

Julie Parreaux defended her PhD thesis on October 24, 2023. Her thesis is entitled "Weighted timed games: Decidability, Randomness and Robustness". Congrats!

Léo Exibard has received an award from Aix-Marseille Université for his PhD thesis, Congrats!

Léo Exibard has been hired as assistant professor at LIGM, Univ. Gustave Eiffel. Congrats!

Damien Busatto-Gaston has been hired as assistant professor at LACL, Univ Paris-Est Créteil. Congrats!

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 dec. 2021).

Publications:

They are available via the Publications link.

Teaching:

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