Uli Fahrenberg

Uli Fahrenberg is a Professor at Université Paris-Saclay and the Formal Methods Laboratory (LMF). He previously served as Head of the Automata and Applications research group at the EPITA Research Lab (LRE) until August 2025. He holds a PhD in Mathematics from Aalborg University and has worked at institutions including Aalborg University, IRISA Rennes, LIX (École Polytechnique), and EPITA Rennes.

His research spans:

• Real-time systems: Modeling and verification of time-sensitive computational systems.
• Quantitative verification: Formal methods for analyzing probabilistic/timed systems.
• Directed algebraic topology: Applications in concurrency and spatial logic.
• Concurrency theory: Semantics and analysis of parallel processes.
• Categorical foundations: Abstract structures for theoretical computer science.

His publications focus on advancing higher-dimensional automata, concurrency models, and formal verification techniques, with recent work exploring timed automata, pomsets, and algebraic frameworks for concurrent systems.

Advising & Grants: Currently supervising PhD students Enzo Erlich (Université Paris Cité) and Safa Zouari (NTNU Gjøvik). Previously co-supervised Claus Thrane (PhD). Actively involved in PhD proposals on higher-dimensional automata and concurrency learning models.

Labs & Teams: Leads the Automata and Applications group at LRE and co-founded the (i)Po(m)set Project—a collaborative initiative exploring concurrency theory, automata, and geometry. Key collaborators include researchers from NTNU, University of Warsaw, and École Polytechnique.