Robin Jourde

Hi there, I am a 1st year computer science PhD student in the LIMD team in LAMA at Université Savoie Mont Blanc. I work under the supervision of Tom Hirschowitz (main supervisor), Ivan Di Liberti and Alan Schmitt.

My PhD is devoted to the study of skeletal semantics and its associated meta language Skel from a mathematical and categorical point of view.

[1] Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, and Jonas Forster. 2026. Compositionality in Coalgebraic Trace Semantics. In 37th International Conference on Concurrency Theory (CONCUR 2026) (Leibniz International Proceedings in Informatics (LIPIcs), 2026. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 38:1–38:21. https://doi.org/10.4230/LIPIcs.CONCUR.2026.38

September 24, 2026 (Le Bourget du Lac): Relational Models for Skeletal Semantics [🛝] @ LIMD Team Seminar
September 3, 2026 (Liverpool): Compositionality in Coalgebraic Trace Semantics [🛝] [1] @ CONCUR’26
June 17, 2026 (Gif-sur-Yvette): Relational theories and their locally presentable categories of models, with applications to skeletal semantics [🛝] @ LHC Days
June 16, 2025 (Glasgow): (Abstract) GSOS for Trace Equivalence (Early Ideas) @ CALCO2025
March 27, 2025 (Le Bourget du Lac): (Abstract) GSOS for trace equivalence @ LIMD Team Seminar

2025 – today: PhD in Computer Science – Mathematical Foundations of Skeletal Semantics (Université Savoie Mont Blanc – Le Bourget du Lac, France)
2020 – 2025: Diploma of École Normale Supérieure de Lyon (École Normale Supérieure de Lyon – Lyon, France)
2021 – 2023: Master’s degree – Foundations of Computer Science (École Normale Supérieure de Lyon – Lyon, France)
2020 – 2021: Bachelor’s degrees – Foundations of Computer Science, Mathematics (École Normale Supérieure de Lyon, Université Claude Bernard Lyon 1 – Lyon, France)