Thomas Steeples

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.

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

IBM

2017 - 2018 · Technology Consultant

KPMG

2011 - 2012 · Audit Assistant

• Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge: Rational Verification: Game-Theoretic Verification of Multi-Agent Systems. Applied Intelligence 51, 6569–6584 (2021).
• Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge: Mean-Payoff Games with ω-Regular Specifications. AAMAS 2021: 1272-1280.
• Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge: Equilibria for Games with Combined Qualitative and Quantitative Objectives. Acta Informatica (2020).
• Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge: Local Equilibria in Logic-Based Multi-Player Games. AAMAS 2018: 399-406.