Nathalie (Tali) Sznajder

I am mainly interested in formal methods for verification, control and synthesis of distributed and/or timed systems.
I did my PhD at LSV, ENS Cachan, under the supervision of Paul Gastin, before doing a postdoc with Jean-Francois Raskin in the Verification group at Free University of Brussels.

• To browse my publications .

Co-head of Master SAR (Distributed Systems and Applications)

• LU2IN005 - Discrete Mathematics (L2). Responsible of the course, Lessons.
• LU2IN019 - Functional Programming (L2). Exercises.
• LU2IN024 - Logic (L2). Exercises
• LU3IN030 - Introduction to Calculability (L3). Responsible of the course, Lessons.
• Project PSAR (M1).
• MU5IN455 - Distributed, Real-Time Embedded Systems and Applications (M2 SAR). Responsible of the course, Lessons, Exercises.
  Annals here , here, and here and also here, and here. Program may vary from year to year
• Training to Agrégation d'informatique. Lessons, training to oral examination.