Team
Automata and ApplicationsCampus
RennesWebsite
https://ulifahrenberg.github.io/
Short Bio
I was professor at EPITA Rennes and at LRE, and head of the Automata and applications research group at LRE.
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.