NewsEntry (2021/09/01)


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