I am assistant professor in computer science at the
I perform my teaching activities in the Computer Science department and my research at the LIF, in the modeling and verification (MoVe) group.
Laboratoire d’Informatique Fondamentale
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France
Office : 612 (building TPR1, 6th floor)
Phone : +33 (0)4 91 82 93 13
Fax : +33 (0)4 91 82 92 75
E-mail : pierre-alain.reynier[@]lif.univ-mrs.fr
New paper accepted to CONCUR'13: Robust Controller Synthesis in Timed Automata (with Ocan Sankur, Patricia Bouyer and Nicolas Markey).
New paper accepted to CIAA'13: Trimming Visibly Pushdown Automata (with Mathieu Caralp and Jean-Marc Talbot).
MOVEP 2012 was held in Marseilles! Slides and pictures are online!
Formal Methods, Verification, Model-Checking, (Timed) Automata, (Timed) Petri Nets, Concurrency, Robustness, Temporal Logics.
More details are available via the Research link.
They are available via the Publications link.
Informations (in french) are available via the Teaching link.