User

Sdziadek

From LRDE

Revision as of 13:44, 17 September 2021 by Sven Dziadek (talk | contribs) (Create Sven's website)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Me

Contact

Email : sven[at]lrde.epita.fr

Currently

Postdoc at LRDE:

  • working on weighted ω-pushdown automata
  • investigating quantitative model checking
  • contributing to Spot

Previously

PhD student at the Automata and Languages group in Leipzig, please refer to my old website.