Sdziadek
From LRDE
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.