Post-doc in the Formal methods and verification group.
Funded by PAI-MoVES project.

Université Libre de Bruxelles Bld du Triomphe CP 212 1050 Brussels, Belgium Building: N.O., Office : O8.115 Phone: +32 2 650.58.68, Fax: +32 2 650.56.09 Email: Nathalie.Sznajder at ulb dot ac dot be

I defended my PhD on November 12, 2009.[manuscript (PDF) | slides (PDF)]

• Research
  During my PhD I have worked on synthesis problem for distrubuted systems. I am interested in general in formal methods for verification of systems, and my research interests cover also theoretical related fields, such as automata theory, game theory, temporal logics, as well as study and analysis of concurrent systems. Currently I work on synthesis problem for real-time systems.
  • To see my publications.


• Projects
  
  • Project ANR (National Research Agnecy) DOTS (Distributed Open Timed Systems)
  • Project MoVES (Modelling, Verification and Evolution of Software)


• Links
• Computer Science Department at ULB
• Laboratoire Spécification et Vérification