Pierre-Alain Reynier

Contact:

Laboratoire d’Informatique Fondamentale de Marseille
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@lif.univ-mrs.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