Jérémy Ledent


IRIF, Université Paris Cité

Bâtiment Sophie Germain

8 Place Aurélie Nemours

75205 Paris Cedex 13

I am currently Maître de Conférences at IRIF, Université Paris Cité.

I was previously a postdoc in the MSP group at the University of Strathclyde. Before that, I completed my PhD at École Polytechnique in the Cosynus team, supervised by Éric Goubault and Samuel Mimram.

Broadly speaking, my research revolves around the formal semantics of concurrent programs. I am particularly interested in methods based on combinatorial topology and epistemic logic.

More generally, my areas of interest include:

  • Category theory, logic and semantics
  • Concurrency, Distributed computing
  • Geometry, (algebraic) topology
  • Formal languages and automata
  • λ-calculus, type theory
  • Game Theory

Selected papers

  1. Epistemic Logic
    A Many-Sorted Epistemic Logic for Chromatic Hypergraphs
    Éric Goubault, Roman Kniazev, and Jérémy Ledent
    In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
  2. Epistemic Logic,
    Semi-Simplicial Set Models for Distributed Knowledge
    Éric Goubault, Roman Kniazev, Jérémy Ledent, and Sergio Rajsbaum
    In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)