NewsEntry (2021/09/01)

From LRDE

Revision as of 12:31, 15 November 2021 by Daniela Becker (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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