NewsEntry (2021/09/02)

From LRDE

Revision as of 13:28, 15 November 2021 by Daniela Becker (talk | contribs) (Created page with "{{News |title=LRDE’s Spot team is happy to welcome another member, Sven Dziadek, for a one-year postdoc. |subtitle=Sven recently completed his PhD at [https://www.uni-le...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title LRDE’s Spot team is happy to welcome another member, Sven Dziadek, for a one-year postdoc.
Sub-Title Sven recently completed his PhD at Leipzig University where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to Spot.
Date 2021/09/02
Retrieved from "https://www.lrde.epita.fr/index.php?title=NewsEntry_(2021/09/02)&oldid=126941"