- Site: Rennes
- Group: automata and applications
- Axis: robotics
Short Bio
I am professor at EPITA Rennes and at LRE, and head of the Automata and applications research group at LRE.
Contact information | |
---|---|
uli.fahrenberg@epita.fr |
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.
Publications
See https://www.lrde.epita.fr/~uli/publications.html