Luc Edixhoven

Email: replace the first dot in the URL with an @

Hi! I'm Luc, a Dutch computer scientist with a research focus on formal methods, concurrency and formal languages. More specifically, I'm working on the theoretical foundations of designing distributed systems, and choreographies in particular. Even more specifically, my aim is to develop semantics-based techniques for key choreography problems such as realisability and projectability.

I enjoy twirling my moustache, showing people my amazing Obelix mug (no relation to the moustache), staring at a (chalk or white) board or the ceiling (whichever feels more productive), and chatting with colleagues and students. Outside of work, I also enjoy playing board and video games, watching films, bowling, walking or cycling around in various bodies of nature, observing animal behaviour, hugs, eating good food, listening to water in motion, reading various comics and novels, visiting new places, and generally lazing about, enjoying life — preferably with a hat, in the sun, and in friendly company.

I will be joining the University of Southern Denmark as a postdoc at FORM, starting from 1 October.

For LIACS students of the course Software Engineering: I am no longer employed at LIACS. Please reach out to the other lecturers and/or the general course inbox for course matters. In case you wish to reach me personally, please send me an email!

Bio

From September 2019 to May 2024, I was a PhD student at the Open University of the Netherlands, under the supervision of Sung-Shik Jongmans, Bastiaan Heeren and Marcello Bonsangue. I defended my thesis, titled Expressive specification and verification of choreographies, in December 2024. I'm happy to share a recording of my layman's talk with those interested; just send me a message!

From July 2022 to January 2025 and from January 2026 to June 2026, I was a lecturer at the Leiden Institute for Advanced Computer Science.

From April to June 2025, I was a postdoc researcher at the University of Southern Denmark, as part of the DDCxTrygFonden fellowship at the Digital Democracy Centre, and working with the Department of Mathematics and Computer Science.

Service

• Programme committee chair: ICE (2026)
• Programme committee: EXPRESS/SOS (2025), ICE (2023, 2024, 2025 ⭐)
• Reviewer: FACS (2022), FORTE (2023), ICTAC (2025), SEFM (2021)

⭐ Outstanding PC member award

Teaching

I am/was involved in teaching the following courses:

• Software Engineering (Leiden University, BSc year 3)
• Co-lecturer, Spring 2026
• Foundations of Computer Science (Leiden University, BSc year 1)
• Co-lecturer, Fall 2024
• Complexity (Leiden University, BSc year 2)
• Lecturer, Spring 2023
• Co-lecturer, Spring 2024
• Introduction to Programming (Leiden University, BSc year 1)
• Co-lecturer, Fall 2022 – Fall 2024
• Distributed Algorithms (Open University, BSc year 2)
• Co-developer and supervisor of the programming assignments, January 2020 – September 2023

Publications

For full details, see my page on, e.g., dblp.

2025

• José Proença and Luc Edixhoven. "The CAOS framework for Scala: Computer-aided design of SOS". Science of Computer Programming.
  [doi, open access]

2024

• Luc Edixhoven, Sung-Shik Jongmans, José Proença and Ilaria Castellani. "Branching pomsets: Design, expressiveness and applications to choreographies". Journal of Logical and Algebraic Methods in Programming.
  [doi, open access]

2023

• Luc Edixhoven and Sung-Shik Jongmans. "Balanced-by-construction regular and ω-regular languages". International Journal of Foundations of Computer Science.
  [doi, preprint]
• Luc Edixhoven. "Shuffling posets on trajectories". Proceedings iFM.
  [doi, technical report]
  ⭐ Submission to PhD symposium, selected for inclusion in main conference proceedings.
• José Proença and Luc Edixhoven. "CAOS: A Reusable Scala Web Animator of Operational Semantics". Proceedings COORDINATION.
  [doi, preprint with tutorial]
  ⭐ Invitation to special issue.

2022

• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans and José Proença. "API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3." Proceedings ECOOP.
  [doi, open access]
• Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou. "Branching pomsets for choreographies". Proceedings ICE.
  [doi, open access, technical report]
  ⭐ Invitation to special issue.
• Luc Edixhoven and Sung-Shik Jongmans. "Realisability of branching pomsets". Proceedings FACS.
  [doi, technical report]

2021

• Luc Edixhoven and Sung-Shik Jongmans. "Balanced-by-construction regular and ω-regular languages". Proceedings DLT.
  [doi, technical report]
  ⭐ Invitation to special issue.