NewsEntry (2021/09/01)

From LRDE

Title LRDE's Spot team hosts a new member, Uli Fahrenberg
Sub-Title

Ulrich (Uli) Fahrenberg holds a PhD in algebraic topology from Aalborg University, Denmark. After a postdoc at Inria Rennes, followed by a position at École polytechnique, he starts now as associate professor at EPITA Rennes and will work together with LRDE’s Spot team on automata theory, concurrency theory, real-time verification, and general quantitative verification.

Date

2021/09/01