Pierre-Alain Reynier

Professor, Aix-Marseille University, Computer Science department

Researcher at LIS

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

Head 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


Contact:

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)

Software

Internships

PhD Students

Post-doctoral Students