News

Sheduled talks

Research thematic

My research focuses on formal methods, especially:

Publications

We can find my publication list on DBLP or HAL. Preprint:
  • 2024:Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata, Emily Clement, Enzo Erlich, Jeremy Ledent
  • 2025:Property FA for random l-gonal groups, Emily Clement, John Mackay
  • 2025:Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemiański
  • Implementation

    I have the following projects:

    Short CV


    Students

    Agenda