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 EPITA Rennes and at LRE, and head of the Automata and applications research group at LRE. I am also associated with IRISA Rennes, where I am a member of the SUMO group. I have a PhD in mathematics from Aalborg University and have worked at Aalborg University, IRISA Rennes, and École polytechnique.
Habilitation
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. The jury for the defence was composed of Christel Baier, Dresden; Paul-André Melliès, Paris; Rob van Glabbek, Sydney; Nathalie Bertrand, Rennes; Patricia Bouyer-Decitre, Saclay; and Georg Struth, Sheffield/Lyon.
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.
See also The (i)Po(m)set Project.
Teaching
Internship proposals:
Fall 2022:
- Théorie des langages rationnels THLR, Spé
- Théorie des langages THL, Ing1
- Structures algébriques STA, Ing1
Scientific service
- Steering committee member: RAMiCS
- Program committee chair: 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
Network
Here's a list (in alphabetic order) of nice people I work, or have
worked, with:
Alessandro Abate,
Xavier Allamigeon,
Jo Atlee,
Sebastian S. Bauer,
Nikola Beneš,
Patricia Bouyer-Decitre,
Benoît Delahaye,
Manfred Droste,
Jérémy Dubut,
Alexandre Duret-Lutz,
Sven Dziadek,
Zoltán Ésik †,
Lisbeth Fajstrup,
Martin Fränzle,
Stéphane Gaubert,
Eric Goubault,
Emmanuel Haucourt,
Christian Johansen,
Barbara
König,
Jan Křetínský,
Kim G. Larsen,
Axel Legay,
John Leth,
Nicolas Markey,
Samuel Mimram,
Dejan Ničković,
Karin Quaas,
Martin Raußen,
Jiří Rosický,
Philipp Schlehuber-Caissier,
Jiří Srba,
Georg Struth,
Claus Thrane,
Louis-Marie Traonouez,
Andrzej Wąsowski,
Rafał Wisniewski,
Krzysztof Ziemiański.
Previous teaching
My teaching has been within computer science and mathematics, in English, French, and Danish. Here's a non-exhaustive list in roughly chronological order:
- Théorie des langages rationnels THLR, Spé (2021)
- Théorie des langages THL, Ing1 (2021)
- Structures algébriques STA, Ing1 (2021)
- Chiffrement et codes correcteurs CHIFR, Ing1 (2021)
- Automates, algèbre, applications AAA, Ing1 (2021)
- Typologie des langages TYLA, Ing1 (2021)
- Éléments de recherche opérationnelle 1 ERO1, Ing1 (2021)
- 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
- Offices
- EPITA
Rennes, 19-22 boulevard Saint-Conwoïon, 35000 Rennes,
France
LRDE, 18 rue Pasteur, 94270 Le Kremlin-Bicêtre, France - uli@lrde.epita.fr
- Public key fingerprint
- 870B 2D3F 55F3 2B97 DB33 04CF 39FF 874C 19F4 A447
- Arxiv
- https://arxiv.org/a/fahrenberg_u_1
- Youtube
- https://www.youtube.com/channel/UCjNBZ4yb7q-8LTKH-8JzEVw
- ORCID
- 0000-0001-9094-7625
- Postal mail
-
Uli Fahrenberg
EPITA Rennes
19-22 boulevard Saint-Conwoïon
35000 Rennes, France