Sven Dziadek
From LRDE
Revision as of 14:53, 17 September 2021 by Sven Dziadek (talk | contribs) (Create Sven's website (2nd try))
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.