Marcin Jurdzinski

Marcin Jurdzinski is a Professor at the Department of Computer Science, University of Warwick, with a focus on algorithms, games, automata, and logic. His career spans institutions like the University of Aarhus, University of Paris 7, and UC Berkeley.

Research interests include

• Parity games
• Stochastic games
• Timed automata
• Formal verification
• Game theory

.

Recent articles highlight work on parity games, stochastic systems, and timed automata, published in venues like SIAM Journal on Computing, LICS, and CAV. Keywords span Computer Science, Game Theory, and Formal Methods.

PhD students mentored include Thejaswini K. S., Michail Fasoulakis, and Ashutosh Trivedi. Funded projects such as Solving Parity Games in Theory and Practice (2017-2021) reflect his research priorities.