Pierre-Alain Reynier

Professor, Aix-Marseille University

Teaching at the Computer Science department of the Faculty of Science

Researcher at LIS

Head of the modelisation and verification (MoVe) group at 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


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