Thomas Steeples

Thomas Steeples

DPhil in Autonomous Intelligent Machines and Systems

University of Oxford

About

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.

Education

DPhil in Autonomous Intelligent Machines and Systems
2018 - 2022 · University of Oxford
MSc in Computer Science
2016 - 2017 · University of Oxford
Dissertation: Local Equilibria in Iterated Boolean Games
MSci in Mathematics
2012 - 2016 · University College London
Dissertation: The Hyperbolic Lattice Counting Problem

Experience

IBM
2017 - 2018 · Technology Consultant
KPMG
2011 - 2012 · Audit Assistant

Publications

2018 · Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael Wooldridge · "Local Equilibria in Logic-Based Multi-Player Games" AAMAS 2018