|
|
|
|
|
|
Pierre-Alain Reynier
|
Ph.D.,
ENS Cachan (France), 2007.
Post-Doctoral
Fellow in Formal Methods and
Verification Group at ULB
Building:
N.O., Office: N8.117
Phone: +32 2 650.55.90, Fax:
+32 2 650.56.09
Email: reynier@ulb.ac.be
|
Research - Teaching - Short CV - Contact - Links |
Research
Keywords: Formal Methods, Verification, Model-Checking, (Timed) Automata,
(Timed) Petri nets, Concurrency, Robustness, Temporal logics.
Publications.
Projects I am (was) involved in:
- ACI SI CORTOS: Control and Observation of Real-Time Open Systems
- ANR DOTS: Distributed, Open and Timed Systems
- PAI MoVES: Modelling, Verification and Evolution of Software
- QUASIMODO: Quantitative
System Properties in Model-Driven-Design of Embedded Systems
|
Teaching
More informations about my previous teaching activities can be found on
my previous webpage.
|
Biographical Sketch
A complete CV is also available (french,
english).
2007-2008 : Post-doctoral position in ULB, Belgium. Funded by a
Lavoisier fellowship.
2004-2007 : PhD Student in LSV, ENS Cachan, France. Supervisors:
Patricia Bouyer and François Laroussinie. Title: "Verification of
timed and distributed systems: models, algorithms and
implementability".
2001-2005 : Student at ENS Cachan, Department of Mathematics, France.
|
Contact
|
- Office : 2.N8.117
- Address :
University of Brussels (ULB),
Computer Science Department,
Campus de la Plaine - CP 212,
Boulevard du Triomphe - B-1050 Brussels.
- Phone : +32 (0)2 650 55 90
- Email : reynier@ulb.ac.be
|
Links
|
|
|