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
- 2017 - 2018 · Technology Consultant
- 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.