Jérémy Ledent
About me
I am currently working as a postdoc at University of Strathclyde (Glasgow) on the topic of Compositional Game Theory.
I recently finished my PhD at École Polytechnique, supervised by Éric Goubault and Samuel Mimram.
You can find my PhD manuscript here. My PhD defense will take place on December 12th 2019, at École Polytechnique.
Research interests
- Category theory
- Semantics of programming languages
- Concurrency
- Geometry, (algebraic) topology
- Logic, λ-calculus, type theory
- Formal languages and automata
Publications
- A Dynamic Epistemic Logic analysis of the Equality Negation Task, Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum (DaLi 2019)
[paper] [long version]
- Wait-free Solvability of Equality Negation Tasks, Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum (DISC 2019)
[paper] [slides]
- A Sound Foundation for the Topological Approach to Task Solvability, Jérémy Ledent, Samuel Mimram (CONCUR 2019)
[paper] [slides]
- Concurrent Specifications Beyond Linearizability, Éric Goubault, Jérémy Ledent, Samuel Mimram (OPODIS 2018)
[paper] [slides]
- Brief announcement: On the impossibility of detecting concurrency, Éric Goubault, Jérémy Ledent, Samuel Mimram (DISC 2018)
[paper]
- A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability, Éric Goubault, Jérémy Ledent, Sergio Rajsbaum (GandALF 2018)
[paper] [slides] [long version]
- A cartesian closed category for higher-order model checking, Martin Hofmann, Jérémy Ledent (LICS 2017)
[paper] [slides]
Internships
- 2016: internship at Ludwig-Maximilians University (LMU), Munich, supervised by Martin Hofmann.
- M2 (2015): Sub-extensional type theory at Université Paris 7, supervised by Hugo Herbelin.
[report] [slides (fr)]
- M1 (2014): Modeling set theory in homotopy type theory at Radboud University, Nijmegen, surpervised by Bas Spitters and Freek Wiedijk.
[blog post]
[report] [slides (fr)]
- L3 (2013): Streaming string transducers at LaBRI, Bordeaux, supervised by Anca Muscholl and Sylvain Salvati.
[report] [slides (fr)]
Teaching
- 2016-2019: Practical sessions at École Polytechnique:
- Introduction to formal languages (CSE206).
- Mécanismes de la programmation orientée-objet (INF371).
- Les bases de la programmation et de l'algorithmique (INF411).
- Introduction à l'informatique (INF311).
- Concurrence (INF431).
- 2016: Computer-Aided Formal Reasoning (LMU Munich)
Funny things
Contact
(λxy. x.y@strath.ac.uk) jeremy ledent