Short biography

Ulrich (Uli) Fahrenberg is professor at EPITA Rennes and head of the automata research group at LRDE. He holds a PhD in mathematics from Aalborg University and has worked at Aalborg University, IRISA Rennes, and at École polytechnique.

Fahrenberg works in algebraic topology, concurrency theory, real-time verification, and general quantitative verification. He has published more than 80 papers in computer science and mathematics. He has been a member of numerous program committees and is a steering committee member for the RAMiCS conferences and reviewer for AMS Mathematical Reviews and Zentralblatt MATH.