Marcin Jurdzinski

Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick, UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups.

• University: University of Warwick
• School: Faculty of Science
• Department: Department of Computer Science
• Position: Associate Professor (Reader)
• Email: Marcin.Jurdzinski@warwick.ac.uk
• Office: CS2.19

His research lies at the intersection of algorithms, game theory, automata, and logic, with a strong emphasis on formal verification, model checking, and theoretical computer science. He is best known for his foundational work on parity games, including the development of small progress measures and discrete strategy improvement algorithms.

The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis. His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems.

He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis.

• PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi
• Postdocs: Laure Daviaud, Alexander Kozachinskiy

He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.