Bart de Keijzer

About me

I am a post-doctoral researcher in the Verification Group at the University of Liverpool. Previously, I was a postdoc in the Networks and Optimization group at Centrum Wiskunde & Informatica (CWI) and prior to that at the Web Algorithmics and Data Mining labof the Sapienza University of Rome. I did my Ph.D. at CWI and was supervised by Guido Schäfer.

Research Interests

I have a broad interest in theoretical computer science. More specifically: algorithms (approximation algorithms, randomized algorithms, and exact algorithms), inapproximability, computational complexity theory, optimization (particularly combinatorial optimization). A lot of my research relates to game theory and its application area lies in artificial intelligence and autonomous multi-agent systems. Within these fields, I have studied many topics in-depth.

Research Experience

The following is a very brief description of my postdoctoral work and Ph.D. work.

Postdoctoral researcher at the University of Liverpool

On my current postdoctoral position, I work on the EPSRC project titled Solving Parity Games in Theory and Practice led by Sven Schewe. The ultimate goal of the project is to solve the long-standing open problem of finding a polynomial time algorithm for determining the winner of a parity game. Solving these games is of importance to automated verification, as the problem of model checking modal mu-calculus reduces to it.

Postdoctoral positions at Centrum Wiskunde & Informatica (CWI) and Sapienza University of Rome

I worked with Krzysztof Apt and Guido Schäfer on various games that are played on graphs, such as coordination games and network creation games. This topic also relates to some of my work on auctions, to matching theory, and to certain combinatorial optimization problems (in particular set cover problems). In the WADAM lab at Sapienza University of Rome, I worked within two research projects on practical approximation algorithms and complex networks. My work in these projects was on algorithmic mechanism design, in particular on posted price mechanisms, double auctions, and trading mechanisms.

Ph.D at Centrum Wiskunde & Informatica (CWI)

The central theme of my Ph.D. research was on algorithmic problems related to externalities and, in general, "other-regarding behavior" in algorithmic game theory. I studied a rather wide variety of games and theoretical models that all relate to the aforementioned theme, and investigated various algorithmic properties of these models.


Note: The list below is ordered reverse-chronologically and covers all types of publications (i.e., conference papers, journal papers, technical reports, theses and maybe more).












Contact Me

keijzer at liverpool dot ac dot uk
bdekeijzer at gmail dot com
(pick either one)


University of Liverpool
Verification Group, office: M237
Ashton Building, Ashton Street
L69 3BX Liverpool
United Kingdom