Short biography

Ulrich (Uli) Fahrenberg is Professor at Université Paris-Saclay. He holds a PhD in mathematics from Aalborg University and has worked at Aalborg University, IRISA Rennes, École polytechnique, and EPITA Rennes.

Fahrenberg works in algebraic topology, concurrency theory, real-time verification, categorical foundations, and general quantitative verification. He has published more than 100 papers in computer science and mathematics. He is Head of the Model checking and synthesis research group at the Formal methods research lab at ENS Paris-Saclay and is on the steering committees of the RAMiCS and GETCO conferences.