CV

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%.

Research Associate, Department of Computer Science, University of Oxford

• Postdoctoral researcher investigating connections between logic and machine learning.

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.

Ongoing AI safety collaborations

• Verification games and open source game theory.
• Inductive bias of neural networks.

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.
• Paper accepted: arXiv:2112.07518.
• Second paper in preparation.

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.

• 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.