Welcome
This is the homepage of Uli Fahrenberg, mathematician / computer scientist. It is deliberately kept short to be (hopefully) more easily maintainable.
I am Professor at Université Paris-Saclay and at the Formal Methods Laboratory (LMF). I have a PhD in mathematics from Aalborg University and have worked at Aalborg University, IRISA Rennes, LIX, École polytechnique, and EPITA Rennes. Until August 2025 I was Head of the Automata and applications research group at the EPITA Research Lab (LRE).
Research
My research is in the areas of real-time systems, quantitative verification, directed algebraic topology, concurrency theory, and in categorical foundations for theoretical computer science. I keep an up-to-date list of publications.
I am an organizer of the Paris Automata and Concurrency Theory Seminar. See also The (i)Po(m)set Project.
I have defended my habilitation à diriger des recherches at the University Paris-Saclay on 10 May 2022. My thesis is entitled A Generic Approach to Quantitative Verification and available on arxiv. Une traduction française du premier chapitre est disponible sur hal, sous le titre Une approche générique à la vérification quantitative. Merci à Aline Fahrenberg pour la traduction.
Recent preprints:
- Higher-Dimensional Timed Automata for Real-Time Concurrency, with Amazigh Amrane, Hugo Bazille, Emily Clement, and Philipp Schlehuber-Caissier
- Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata, with Amazigh Amrane, Hugo Bazille, Emily Clement, Marie Fortin, and Krzysztof Ziemiański.
Upcoming events
- 10-12 September, IRIF / LMF / LIX, Paris, France: Paris ACTS / RaPS #3
- 18-19 September, University of Augsburg, Germany: Algorithmen und Werkzeuge für Petrinetze
Teaching
Autumn 2025:
- Éléments de logique pour l'informatique, L3 Info - MIAGE - LDD - MAG, Université Paris-Saclay. Preliminary course web site
Current PhD students:
- Enzo Erlich, Université Paris Cité, France (2024-)
- Safa Zouari, NTNU Gjøvik, Norway (2022-)
Estonian Winter School on Computer Science:
I recently gave lectures at the 27th EWSCS
on the theme Discrete and continuous models for concurrent systems: from Petri nets to directed spaces;
Philipp Schlehuber-Caissier helped with the exercises.
- Part 1: The Geometry of Concurrency
- Part 2: Concurrent Semantics of Petri Nets
- Part 3: Languages of Higher-Dimensional Automata
- Part 4: Advanced Topics
PhD proposals:
Scientific service
- Steering committee member: RAMiCS (co-chair), GETCO
- Program committee chair: RAMiCS 2024, RAMiCS 2021, RAMiCS 2020, DHS 2017, QFM 2012, FORMATS 2011
- Program committee member: TiCSA 2023, RAMiCS 2023, GETCO 2022, QAVS 2022, QAVS 2021, ADHS 2021, QAVS 2020, FORMATS 2020, ICTAC 2020, ICTAC 2019, RAMiCS 2018, ICTAC 2018, ADHS 2018, FORMATS 2017, ACSD 2017, FESCA 2017, SOFSEM 2017, FESCA 2016, TACAS 2015, MFCS 2014
Thesis evaluations:
- Athanasios Evangelou-Oost (PhD, The University of Queensland, 2025; reviewer)
- Sabrine Saouli (PhD, Paris Sorbonne Université, 2024)
- Caroline Lemke (MSc, TU Berlin, 2024; reviewer)
- Anissa Kheireddine (PhD, Paris Sorbonne Université, 2023)
Network
Here's a list (in alphabetical order) of nice people I work, or have
worked, with:
Alessandro Abate,
Xavier Allamigeon,
Amazigh Amrane,
Jo Atlee,
Sebastian S. Bauer,
Hugo Bazille,
Nikola Beneš,
Benjamin Bisping,
Patricia Bouyer-Decitre,
Paul Brunet,
Emily Clement,
Benoît Delahaye,
Manfred Droste,
Jérémy Dubut,
Alexandre Duret-Lutz,
Sven Dziadek,
Zoltán Ésik †,
Lisbeth Fajstrup,
Marie Fortin,
Martin Fränzle,
Stéphane Gaubert,
Eric Goubault,
Emmanuel Haucourt,
Loïc Hélouët,
Christian Johansen,
Barbara König,
Jan Křetínský,
Kim G. Larsen,
Jérémy Ledent,
Axel Legay,
John Leth,
Nicolas Markey,
Samuel Mimram,
Dejan Ničković,
Karin Quaas,
Sergio Rajsbaum,
Martin Raußen,
Jiří Rosický,
Luigi Santocanale,
Philipp Schlehuber-Caissier,
Jiří Srba,
Georg Struth,
Claus Thrane,
Louis-Marie Traonouez,
Andrzej Wąsowski,
Rafał Wisniewski,
Krzysztof Ziemiański
Things which are named after me
Things which are not named after me:
Previous teaching
My teaching has been within computer science and mathematics, in English, French, and Danish. Here's a non-exhaustive list in roughly inverse chronological order:
- Introduction to Kleene algebra, Ing1 (2024)
- Programmation vectorielle pour calcul matriciel PVCM, Ing1 (2024)
- Category theory for programmers CT4P, Ing1 (2022, 2023)
- Théorie des langages rationnels THLR, Spé (2021-24)
- Théorie des langages THL, Ing1 (2021-24)
- Structures algébriques STA, Ing1 (2021-24)
- Chiffrement et codes correcteurs CHIFR, Ing1 (2021-24)
- Automates, algèbre, applications AAA, Ing1 (2021, 2022)
- Typologie des langages TYLA, Ing1 (2021, 2022, 2023)
- Éléments de recherche opérationnelle 1 ERO1, Ing1 (2021-24)
- TP CSE101 (Bachelor X): Computer programming (Python) (2017, 2019, 2020)
- TP CSE102 (Bachelor X): Advanced computer programming (Python) (2018)
- TP Master 1 Rennes / ISTIC: Modélisation et vérification (2012-2014)
- PhD student co-supervision: Claus Thrane (2008-2011; with Kim G. Larsen)
- PhD course: Category theory with applications in functional programming (2009; with René R. Hansen)
- Master's student supervision: Max-plus algebra for real-time model checking (2010)
- Graduate course: Formal systems (2010; with Kim G. Larsen)
- Graduate course: Semantics and verification (2010; with Kim G. Larsen)
- Graduate and undergraduate student project supervision
- Undergraduate course: Syntax and semantics (2007, 2008, 2009)
- Undergraduate course: C Programming (2006, 2007)
- Undergraduate course: Linear algebra for electrical engineers (2006)
- Undergraduate course: Calculus for architects (2005)
Contact
- Office
- 2S59, ENS Paris Saclay
- uli@lmf.cnrs.fr
- Public key fingerprint
- 2048 MD5:37:ab:34:e4:4d:2a:71:7b:71:ca:d4:7e:e4:fb:6f:e4 uli@ulrich (RSA)
- Arxiv
- https://arxiv.org/a/fahrenberg_u_1
- Youtube
- https://www.youtube.com/channel/UCjNBZ4yb7q-8LTKH-8JzEVw
- ORCID
- 0000-0001-9094-7625
- DBLP
- https://dblp.org/pid/89/5538.html
- Postal mail
-
Uli Fahrenberg
LMF - Laboratoire Méthodes Formelles
ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France