Sven Dziadek
I am a Postdoc at Inria Paris in the VALDA team where I am working with Luc Segoufin at ENS Ulm and Antoine Amarilli at Télécom Paris.
Before that, I did a Postdoc at LRE at EPITA with Uli Fahrenberg.
I did my PhD with Manfred Droste and Werner Kuich in Leipzig as a scholarship holder of the DFG research training group QuantLA.
Research Interests
I am working in theoretical computer science.
Since my PhD, I was working in automata theory on weighted automata and weighted logic, mostly for context-free languages of infinite words.
I am interested in program verification and energy problems.
Recently, I also started working on enumeration algorithms and I am learning homotopy type theory and how to use proof assistants.
Contact
Most of the time, you can find me at Télécom Paris (19 place Marguerite Perey, 91120 Palaiseau, France) in room 4B57.
Write me a mail at sven.dziadek@inria.fr.
Publications
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier: ω-Regular Energy Problems, submitted 2024, arXiv:2205.04392.
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier: Energy Büchi Problems, in: Formal Methods (FM 2023), LNCS, vol. 14000, pp. 222-239, 2023, DOI:10.1007/978-3-031-27481-7_14, arXiv:2205.04392v2.
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Information and Computation, vol. 285, part B, article 104871, 2022, DOI:10.1016/j.ic.2022.104871, arXiv:2007.08866.
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, vol. 282, special issue of WATA 2018, article 104659, 2022, DOI:10.1016/j.ic.2020.104659. [pdf]
S. Dziadek: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words, Dissertation, Universität Leipzig, 2020. [pdf] [permanent link]
M. Droste, S. Dziadek, W. Kuich: Nivat-theorem and logic for weighted pushdown automata on infinite words, in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), LIPIcs, vol. 182, pp. 44:1-44:14, 2020, DOI:10.4230/LIPIcs.FSTTCS.2020.44. [pdf]
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), LIPIcs, vol. 150, pp. 38:1-38:14, 2019, DOI:10.4230/LIPIcs.FSTTCS.2019.38. [pdf]
M. Droste, S. Dziadek, W. Kuich: Weighted simple reset pushdown automata, Theoretical Computer Science, vol. 777, pp. 252-259, 2019, special issue in memory of Maurice Nivat, DOI:10.1016/j.tcs.2019.01.016. [pdf]
R. Spliet; M. Vanga; B. Brandenburg; S. Dziadek: Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUS RT, in: IEEE Real-Time Systems Symposium (RTSS 2014), pp.96-105, 2014, DOI:10.1109/RTSS.2014.33.