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

Former co-head (with Nathalie Bertrand, until Jan. 26) 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:

An assistant professor position is open at Aix-Marseille University, with possible integration in the MoVe team. Consider applying!

Yahia Idriss Benalioua defended his PhD thesis December 9th. His thesis is entitled "Minimizing Quantitative Automata: An Algebraic Approach". Congrats!

The 2025 annual meeting of GT-Vérif was held at LACL (Créteil), on November 5-7.

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!

Recent work:

[CSL 2026] Register-Bounded Synthesis from Constraint LTL, joint work with Nino Dauvier and Emmanuel Filiot.

[MFCS 2025] Lexicographic transductions of finite words, joint work with Emmanuel Filiot and Nathan Lhote.

[LMCS 2025] Playing Stochastically in Weighted Timed Games to Emulate Memory, joint work with Benjamin Monmege and Julie Parreaux.

[LMCS 2025] Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, joint work with Benjamin Monmege and Julie Parreaux.

[Submitted] A robust class of transductions beyond functionality, joint work with Nicolas Baudru, Louis-Marie Dando and Nathan Lhote.

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.