Uli

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 LRDE, and head of the automata research group at LRDE. I am also associated with IRISA Rennes. 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:

Scientific service

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:

Contact

Offices
EPITA Rennes, 19-22 boulevard Saint-Conwoïon, 35000 Rennes, France
LRDE, 18 rue Pasteur, 94270 Le Kremlin-Bicêtre, France
Email
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