NewsEntry (2021/09/01)
From LRDE
Revision as of 12:31, 15 November 2021 by Daniela Becker (talk | contribs)
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 |