I am a DPhil student at the University of Oxford, on the Autonomous Intelligent Machines and Systems CDT, a joint programme between Information Engineering and Computer Science. Broadly, my research interests lie across logic, complexity and games, and in particular, their application to Artificial Intelligence.
When I'm not proving theorems (or at least trying to), I can be found photographing the streets of Oxford and playing chess. I am also interested in hardware hacking.
2018 · Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael Wooldridge · "Local Equilibria in Logic-Based Multi-Player Games" AAMAS 2018