CV

Neural Interactive Proofs collaborative project

• Devised games played by neural networks of different strengths, motivated by AI safety.
• Built large, well-documented and tested codebase for multi-agent reinforcement learning.
• Applied game-theoretic techniques to provide guarantees on agent behaviour.
• Produced joint first-author paper, and presented at ICML and NeurIPS 2024 workshops.

Research Associate, Department of Computer Science, University of Oxford

• Postdoctoral researcher investigating the expressive power of graph neural networks.
• Advised PhD student on mathematical aspects of their research project.
• Helped supervise Ukrainian undergrad students with project on learning with constraints.
• First-author conference papers in published in NeurIPS 2023 and 2024.

Team lead, OxAI Safety Hub Labs

• Research internship performing active learning using large language models.
• Lead team of investigators, managing upskilling and development process.
• Contributed over 10,000 lines of Python code, leveraging PyTorch.
• Ran over 500 experiments on GPUs.
• Involved in ongoing research extending the results.

PhD research: logic, real trees and first-order Kripke semantics

University of Oxford

• Resolved open problem from 2004 in geometric group theory.

MSc thesis: polyhedral semantics for modal logic

Institute for Logic, Language and Computation, University of Amsterdam

• Collaborated on project using polyhedra to interpret modal formulas.
• Produced two research papers: doi:10.1017/jsl.2022.76 and arXiv:2307.16600.

Website and game development

• Self-taught game programming at age 11.
• Developed websites in Python and PHP, working directly with clients.
• Programmed with Python and Django, as well as PHP.
• Examples: tunelines.com and alevelnotes.com.
• Maintained and secured websites receiving 1,000,000s of monthly visitors.

DPhil in Mathematics

University of Oxford

• Area of specialism: logic/set theory.

MSc Master of Logic

Institute for Logic, Language and Computation, University of Amsterdam

• Cum Laude; GPA: 9.1/10.

MMath Master of Mathematics

University of Oxford

• Master's part: First Class 92%; top in year.
• Bachelor's part: First Class 83%.

• Long-Term Future Fund grant recipient.
• OpenAI Superalignment Fast Grant recipient.

• EPSRC Excellence Award. Doctorate scholarship.

• Amsterdam Science Talent Scholarship for MSc. One of five recipients.

• Gibbs Prize for "outstanding academic achievement" in final year of MMath.
• Gibbs Dissertation Prize for MMath dissertation.

• EPSRC Vacation Bursary. Support for summer research project.