CV (en)
CV (fr)

Experience

  1. Maître de Conférences (Assistant Professor)

    MICS, CentraleSupélec, Université Paris-Saclay
    • Research in the ARCADE team on formal methods, applied to geometric modeling and to model consistency.
    • Teaching in the BSc AIDAMS (CentraleSupélec and ESSEC Business School) and in the Engineering Curriculum of CentraleSupélec.

  2. Researcher (Postdoc)

    KIT (CRC 1608 - Convide)

  3. Attaché Temporaire d'Enseignement et de Recherche (Postdoc with teaching duties)

    MICS, CentraleSupélec, Université Paris-Saclay
    • Research in the Logimics team: geometric modeling, continuing my Ph.D. work, and a new topic, categorical logic.
    • Teaching in the Engineering Curriculum of CentraleSupélec.

Education

  1. PhD in Computer Science

    Université Paris-Saclay
    I defended my Ph.D. thesis on 29 November 2022. I had the great pleasure to be supervised by Pascale Le Gall (MICS, CentraleSupélec), Hakim Belhaouri, and Agnès Arnould (XLIM UMR CNRS 7252 laboratory, University of Poitiers). My work focuses on the formal conception of operations in topology-based geometric modeling using graph rewriting.
    See the manuscript

  2. MSc in Engineering

    CentraleSupélec

  3. MSc in Theoretical Computer Science (MPRI)

    ENS Paris-Saclay