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 dedicated to the study of skeletal semantics and its associated meta language Skel from a mathematical and categorical point of view.
Keywords & interests Publications Talks Collaborators and supervisors Teaching Education
Keywords & interests
computer science
semantics of programming languages
category theory
logic
Publications
ORCID 0009-0003-5787-8463
[1] Robin Jourde , Henning Urbat, Sergey Goncharov, Stelios Tsampas, and Jonas Forster. 2026. Compositionality in Coalgebraic Trace Semantics [Preprint]. Retrieved from https://arxiv.org/abs/2605.18285v1
Talks
June 17, 2026 (Palaiseau)
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
Collaborators and supervisors
Teaching
For the Computer Science Department of Université Savoie Mont Blanc
2025-2026
INFO101 Algorithmique (parcours réussite): labs
INFO501 Logique: labs
INFO506 Système d’exploitation: labs and exercises
INFO601 Graphes: labs
Education
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)
