معرفی
Sven Dziadek is an Assistant Professor (Maître de Conférence) at Telecom SudParis, affiliated with the ACMES team within the SAMOVAR research laboratory. His primary research focuses on theoretical computer science, particularly weighted automata, formal methods, and infinite-word languages. He has held postdoctoral positions at Inria Paris (VALDA team) and LRE at EPITA, and completed his PhD under Manfred Droste and Werner Kuich at Universität Leipzig, funded by the DFG QuantLA research training group.
His research interests include automata theory, program verification, energy problems, and recently enumeration algorithms and homotopy type theory. He has published extensively in venues such as Formal Aspects of Computing, Information and Computation, and the International Symposium on Formal Methods (FM).
Current affiliations include teaching and research at Télécom SudParis, with offices at 19 place Marguerite Perey in Palaiseau. No specific grants or awards are explicitly mentioned in the provided materials.
