Formal Methods and Verification at ULB   Computer Science Department at ULB  

Pierre-Alain Reynier

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

Research - Teaching - Short CV - Contact - Links


  • 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.


    • 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 :