Pierre-Alain
Reynier
PhD in Computer Science
New position.
Since 1st september 2008, I am assistant professor at the University of Provence. Please visit my
new webpage
.
PhD Defense
on June 21st
My
CV
(April 2007)
Research
Some publications.
Research subjects:
Forward analysis of timed automata.
Robustness and implementability of timed automata.
Concurrency in timed models.
About
LSV
News
People
Research
Seminars
Teaching
Contact
École Normale Supérieure de Cachan
Centre National de la Recherche Scientifique
Private Pages
Page maintained by
Pierre-Alain Reynier
.
English
Français
Contact
Address
LSV
,
CNRS
&
ENS
de Cachan
61, avenue du Président
Wilson
94235 CACHAN Cedex, France
Office
RH-E-01c
Phone
+33 (0)1 47 40 75 50
Fax
+33 (0)1 47 40 75 29
Secr.
+33 (0)1 47 40 75 20
E-Mail
NO_SPAM_reynier@lsv.ens-cachan.fr (remove NO_SPAM_)