PhD Student

Serge Lechenne

Computer Science & Mathematics — my research concerns the foundations of probabilistic programming and concurrency.

Research

PhD student in CS and mathematics. My thesis concerns the foundations of probabilistic programming and concurrency.

Topics

  • Category theory
  • Concurrency
  • Probabilities

Interests

  • Mathematics (in general)
  • Mathematical finance
  • Comparative mythology & religion
  • Languages

Publications

2026

Universal Properties of Petri Net Unfoldings

FSCD 2026 — S. Lechenne, H. Paquet

Petri nets Category theory Concurrency
2024

Braids, Twists, Trace and Duality in Combinatory Algebras

LICS 2024, Article 42 — M. Hasegawa, S. Lechenne

Category theory Lambda calculus Combinatory algebras
arXiv →
2024

A Compositional Framework for Petri Nets

CMCS 2024, pp. 174–193 — S. Lechenne, C. Eberhart, I. Hasuo

Petri nets Concurrency Category theory
Springer →
2026
FSCD(Lisbon)—Universal Properties of Petri Net Unfoldings
Phocon(Hamburg)—Universal Properties of Petri Net Unfoldings
Antique Seminar(ENS, Paris)—Event structure semantics for Petri nets
Joint LIX Seminar(École Polytechnique, Paris)—Event structure semantics for Petri nets
2025
Antique Seminar(ENS, Paris)—Braids, Twists, Trace and Duality in Combinatory Algebras
2024
LICS(Tallinn)—Braids, Twists, Trace and Duality in Combinatory Algebras
IRIF Seminar(IRIF, Paris)—A Compositional Framework for Petri Nets
Joint LIX Seminar(École Polytechnique, Paris)—Categorical Structure in Combinatory Algebras
CMCS(Luxembourg)—A Compositional Framework for Petri Nets
CSCAT(Chiba)—Duality in Combinatory Algebras
2023
Invited talk by NII(Tokyo)—Duality in Combinatory Algebras
RIMS Seminar(Kyoto)—Duality in Combinatory Algebras

Teaching

2026
Colles de mathématiques
Lycée Saint-Louis, Paris — MP/MP*
2025
Colles de mathématiques
Lycée Saint-Louis, Paris — MP/MP*

Others

Notes & expository writing

Placeholder — add links to notes, blog posts, or informal write-ups here.

Reviewing

Placeholder — conferences or journals you have reviewed for.

Miscellaneous

Placeholder — anything else you'd like to share.

Contact

serge.lechenne at gmail.com
Laboratoire Antique, École Normale Supérieure