معرفی
Myriam Clouet is a Post-doctoral fellow at the University of Orléans affiliated with the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) and its Langages, Modèles et Vérification (LMV) team. She actively contributes to the ANR CoMeMoV project focused on collaborative memory model formalization and correctness proofs using Coq/Rocq.
Her educational background includes:
- PhD in Computer Science from Université Paris Saclay (defended May 3, 2024) on privacy-respecting classification for consent verification
- Master 2 Génie Informatique (2017-2019) from Université Grenoble Alpes
- Master 2 MOSIG with HECS specialization (2016-2017) from Université Grenoble Alpes
- Master 1 Informatique (2014-2016) and Licence MIAGE (2013-2014) from Université Grenoble Alpes
Her research centers on privacy formalization through formal methods, specifically bridging consent requirements with model/program verification. She employs deductive verification, formal languages, and Coq/Rocq to address privacy challenges across system abstraction levels, with recent work on context-aware specification languages and generic privacy modeling frameworks.
Her publication trends reveal a concentrated focus on applying formal verification to privacy engineering, particularly consent property validation and data necessity modeling. Both 2022-2023 papers demonstrate systematic integration of privacy requirements into formal verification workflows using specialized tools like CASTT.
Dr. Clouet participates in the ANR-funded CoMeMoV project for her postdoctoral research. Her prior teaching includes 32 hours of Compilation (2020-2022), 31 hours of Database Programming (2020-2021), and 39 hours of Multi-Support Development Projects (2019-2021) at IUT d'Orsay, plus 20 hours of Imperative Programming (2019-2020) at Université Paris Saclay. She has not supervised any graduate students to date.
She operates within the Langages, Modèles et Vérification (LMV) team at LIFO, a CNRS-associated research unit at University of Orléans specializing in foundational computer science, where she develops verification frameworks for memory models and privacy properties.
