Michael Wooldridge

I am a Professor of Computer Science in the Department of Computer Science at the University of Oxford, and a Senior Research Fellow at Hertford College. I joined Oxford on 1 June 2012; before this I was for twelve years a Professor of Computer Science at the University of Liverpool. My main research interests are in the use of formal techniques of one kind or another for reasoning about multiagent systems. I am particularly interested in the computational aspects of rational action in systems composed of multiple self-interested computational systems. My current research is at the intersection of logic, computational complexity, and game theory.