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
2024
Braids, Twists, Trace and Duality in Combinatory Algebras
LICS 2024, Article 42 — M. Hasegawa, S. Lechenne
arXiv →
2024
A Compositional Framework for Petri Nets
CMCS 2024, pp. 174–193 — S. Lechenne, C. Eberhart, I. Hasuo
Springer →
2026
Antique Seminar(ENS, Paris)—A Fibred Twist on Model Checking
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
2025
Colles de mathématiques
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