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

Co-responsable de la spécialité de Master SAR (Systèmes et Applications Réparties)

• LU2IN005 - Mathématiques Discrètes (L2). Responsable de l'UE, Cours.
• LU2IN019 - Programmation fonctionnelle (L2). TD/TP.
• LU2IN024 - Logique (L2). TD/TP
• LU3IN030 - Introduction à la Calculabilité (L3). Responsable d'UE, Cours.
• MU5IN455 - Applications et Systèmes Temps-réel Répartis et Embarqués (M2 SAR). Responsable de l'UE, Cours, TD/TP.
  Annales ici , là, et là et encore là, et enfin ici. Le programme n'est pas exactement identique chaque année!
• Préparation à l'agrégation d'informatique. Cours, préparation aux oraux.

Co-responsable de la spécialité de Master SAR (Systèmes et Applications Réparties)

• LU2IN005 - Mathématiques Discrètes (L2). Responsable de l'UE, Cours.
• LU2IN019 - Programmation fonctionnelle (L2). TD/TP.
• LU2IN024 - Logique (L2). TD/TP
• LU3IN030 - Introduction à la Calculabilité (L3). Responsable d'UE, Cours.
• Projet PSAR (M1).
• MU5IN455 - Applications et Systèmes Temps-réel Répartis et Embarqués (M2 SAR). Responsable de l'UE, Cours, TD/TP.
  Annales ici , là, et là et encore là, et enfin ici. Le programme n'est pas exactement identique chaque année!
• Préparation à l'agrégation d'informatique. Cours, préparation aux oraux.