NewsEntry (2021/09/01)
From LRDE
Revision as of 13:23, 15 November 2021 by Daniela Becker (talk | contribs) (Created page with "{{News |title=The LRDE hosts a new member, Uli Fahrenberg |subtitle=Ulrich (Uli) Fahrenberg holds a PhD in algebraic topology from [https://www.en.aau.dk Aalborg University,...")
Title | The LRDE 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 |