Margot Catinaud
Mail: mcatinaud@lmf.cnrs.fr
Office: 1S62, Building ENS - North
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
[This page is under work]
Research
Talks
Papers
Teaching
2025 - 2026
Mathématiques discrètes (L3) (ENS Paris Saclay - DER Informatique)
Introduction to Security (M1) (ENS Paris Saclay - DER Informatique) Course's link
Algorithmique 2 (L3) (ENS Paris Saclay - DER Informatique)
Génie logiciel (1A - S1) (IUT de Cachan - Département GEII)
2024 - 2025
Mathématiques discrètes (L3) (ENS Paris Saclay - DER Informatique)
Introduction to Security (M1) (ENS Paris Saclay - DER Informatique) Course's link
Algorithmique 2 (L3) (ENS Paris Saclay - DER Informatique)
2023 - 2024
Génie logiciel (1A - S2) (IUT de Cachan - Département GEII)