Nathalie (Tali) Sznajder

Mes travaux de recherche s'inscrivent dans le champ des méthodes formelles pour la vérification, le contrôle et la synthèse de systèmes répartis, temporisés.
J'ai effectué ma thèse au LSV de l'ENS Cachan, sous la direction de Paul Gastin, avant de faire un post-doc dans l'équipe Méthodes Formelles et Vérification de l'Université Libre de Bruxelles.

• Pour accéder à mes publications

Je donne des TD pour les cours suivants:

• De la puce au web (LI105)
• Programmation concurrente (LI330)
• Introduction à la modélisation de logiciels avec UML (LI342)

Je donne les cours suivants :

• Structures discrètes (LI214)
• 2 séances en Vérification formelle de systèmes répartis (M2 SAR)
• 2 séances en Modélisation et représentation des connaissances (M1 IAD). [ Transparents]