# 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.