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


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

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