Adresse
LIP6, Université Pierre et Marie Curie & CNRS
4 place Jussieu
75005 Paris




Bureau
Tour 25/26, bureau 216


Téléphone
+33 (0) 1 44 27 41 82


Email
nathalie.sznajder (at) lip6.fr

Recherche

 

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.

SUJET DE STAGE M2 (2016-2017) Utilisation de SMT-solver pour la génération automatique d'algorithmes répartis pour des réseaux de robots collaboratifs.

Enseignement 2017-2018. S1.

 

  • Je donne le cours de l'UE : Structures discrètes (2I005 - L2). Amphi du mardi après-midi.

  • Je suis responsable de l'UE Sécurité et Fiabilité (SF) (M2 SAR) Le programme n'est pas exactement identique chaque année!

Enseignement 2016-2017. S1.

 

Je donne des TD pour les cours suivants:

  • Programmation concurrente (3I001 - L3)

  • Je donne les cours des UE suivantes :

  • Structures discrètes (2I005 - L2)

  • Je suis responsable de l'UE Sécurité et Fiabilité (SF) (M2 SAR)

    Le programme n'est pas exactement identique chaque année!

    Enseignement 2016-2017. S2.

     

    Je suis responsable de l'UE Calculabilité Décidabilité (2I016 - L2)

    Je donne les cours de Logique Temporelle dans l'UE SPECIF (M1 SAR)