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:

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

The 2024 annual meeting of GT-Vérif will be held at CRISTAL (Lille), oin the autumn, with a shared day with GT SCALP.

The 2023 annual meeting of GT-Vérif was held at IRIF (Paris), on November 30 and December 1.

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

PC Member of MSR 2023.

PC Member of Petri Nets 2023.

Recent work:

[MFCS 2024] Synthesis of Robust Optimal Strategies in Weighted Timed Games, joint work with Benjamin Monmege and Julie Parreaux.

[MFCS 2024] Register Minimization of Cost Register Automata over a Field, joint work with Yahia Idriss Benalioua and Nathan Lhote.

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

[1024 Newsletter] Introduire les enjeux environnementaux et sociétaux du numérique en L3 informatique, joint work with Valentin Emiya, Julien Lefèvre, Frédéric Olive and Corentin Travers.

[LMCS 2023] Optimal controller synthesis for timed systems, joint work with Damien Busatto-Gaston and Benjamin Monmege.

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

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

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.