Pierre-Alain Reynier

Professor, Aix-Marseille University, Computer Science department

Researcher at LIS

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

Co-head (with Kevin Perrot) 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!)

Research Topics

Formal Methods, Verification, Model-Checking, Automata, Logic, Transducers, Timed systems, Petri nets, Concurrency, Robustness.

Research Projects (passed/active)



PhD Students

Post-doctoral Students