Sven Dziadek

Sven Dziadek is an Assistant Professor (Maître de Conférence) at Télécom SudParis, France. He is affiliated with the ACMES team (SAMOVAR) and previously held postdoc positions at Inria Paris (VALDA team), Télécom Paris, and EPITA's LRE laboratory. His research focuses on theoretical computer science, particularly automata theory, weighted automata, and formal verification. He earned his PhD from Universität Leipzig under the DFG QuantLA research training group, studying weighted logics and automata for infinite words.

Research Interests: Automata Theory, Weighted Automata, Formal Verification, Energy Problems, Context-Free Languages of Infinite Words, Enumeration Algorithms, Homotopy Type Theory, Proof Assistants.

Publications span foundational work on ω-regular energy problems, Büchi automata, and formal methods, with contributions to theoretical computer science journals and conferences like FM, FSTTCS, and RTSS. His work bridges automata theory with practical applications in verification and infinite-word computations.

Collaborations include Luc Segoufin (ENS Ulm), Antoine Amarilli (Télécom Paris), Uli Fahrenberg (EPITA), and supervisors Manfred Droste and Werner Kuich. Current research explores homotopy type theory and proof assistants for formalizing theoretical results.