General Information

Full Name Sam Adam-Day
Languages English, Spanish, Welsh


  • 2019–2023
    DPhil in Mathematics
    University of Oxford
    • Area of specialism: logic/set theory.
  • 2017–2019
    MSc Master of Logic
    Institute for Logic, Language and Computation, University of Amsterdam
    • Cum Laude; GPA: 9.1/10.
  • 2012–2016
    MMath Master of Mathematics
    University of Oxford
    • Master's part: First Class 92%; top in year.
    • Bachelor's part: First Class 83%.


  • 2023-(2024)
    Research Associate, Department of Computer Science, University of Oxford
    • Postdoctoral researcher investigating connections between logic and machine learning.
  • 2022
    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.
  • 2022–
    Ongoing AI safety collaborations
    • Verification games and open source game theory.
    • Inductive bias of neural networks.
  • 2020–
    PhD research: logic, real trees and first-order Kripke semantics
    University of Oxford
    • Resolved open problem from 2004 in geometric group theory.
  • 2018–
    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.
  • 2004–
    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: and
    • Maintained and secured websites receiving 1,000,000s of monthly visitors.

Honors and Awards

  • 2019
    • EPSRC Excellence Award. Doctorate scholarship.
  • 2017
    • Amsterdam Science Talent Scholarship for MSc. One of five recipients.
  • 2016
    • Gibbs Prize for "outstanding academic achievement" in final year of MMath.
    • Gibbs Dissertation Prize for MMath dissertation.
  • 2015
    • EPSRC Vacation Bursary. Support for summer research project.