User

Sven Dziadek (Sven)

From LRDE

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.