Prizes and awards
- Distinguished Presentation Award
- Recipient
- 8/6/2021
Dr Jeremy Ledent
Research Associate
Computer and Information Sciences
Publications
- Two-agent approximate agreement from an epistemic logic perspective
- Armenta-Segura Jorge, Ledent Jeremy, Rajsbaum Sergio
- Computación y Sistemas Vol 26, pp. 769-785 (2022)
- https://doi.org/10.13053/CyS-26-2-4234
- A quantitative model for simply typed λ-calculus
- Hofmann Martin, Ledent Jérémy
- Mathematical Structures in Computer Science Vol 32, pp. 777-793 (2022)
- https://doi.org/10.1017/S0960129521000256
- Knowledge and simplicial complexes
- van Ditmarsch Hans, Goubault Éric, Ledent Jérémy, Rajsbaum Sergio
- Philosophy of Computing Philosophical Studies Series (2022) (2022)
- https://doi.org/10.1007/978-3-030-75267-5_1
- A simplicial model for KB4n : epistemic logic with agents that may die
- Goubault Éric, Ledent Jérémy, Rajsbaum Sergio
- 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) 39th International Symposium on Theoretical Aspects of Computer Science Leibniz International Proceedings in Informatics, LIPIcs Vol 219, pp. 33:1--33:20 (2022)
- https://doi.org/10.4230/LIPIcs.STACS.2022.33
- Infinite horizon extensive form games, coalgebraically
- Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
- Mathematics for Computation (2022) (2022)
- Brief announcement : variants of approximate agreement on graphs and simplicial complexes
- Ledent Jérémy
- PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing ACM Symposium on Principles of Distributed Computing, pp. 427–430 (2021)
- https://doi.org/10.1145/3465084.3467946
Address
Computer and Information Sciences
Livingstone Tower