Paul Harrenstein is a computer scientist and game theorist whose research spans multi-agent systems, computational social choice, and the logical foundations of game theory. Based at the University of Oxford's Department of Computer Science, he has made significant contributions to understanding strategic reasoning, Boolean games, and epistemic aspects of sequential decision-making.
Advanced the theory of Boolean games and their logical foundations
Contributed to computational social choice theory, including voting and judgment aggregation
Developed formal analyses of plausibility and belief revision in extensive-form games
Published influential work on strategic reasoning in multi-agent systems