Skip to content
Theo Bains
Menu

About

Mathematics, software, and practical problem-solving.

I’m a third-year BSc Mathematics student at Durham University, Hatfield College, and a Technology Intern at Direct Soccer. I’m on track for a first-class degree and expect to graduate in June 2027.

My main interest is the point where abstract mathematical reasoning becomes useful software. Programming gives me a way to test an argument, visualise an algorithm, and turn a theoretical model into something other people can inspect and use.

Alongside technical work, I have experience leading teams and managing budgets. I have been a Shift Team Lead at the Undercroft Bar since August 2025, became Captain of Durham University Amateur Boxing Club in March 2026, and served as Vice Chair and Treasurer for Hatfield College’s Lion in Winter Ball from August 2025 to March 2026.

I built this site for both academic and professional readers. It separates assessed academic work from self-directed projects while showing the methods, code, and outcomes behind each one.

Education and experience

Background

  1. September 2022 - August 2024

    University of Liverpool Mathematics School

    Achieved three A*s in Mathematics, Further Mathematics, and Computer Science; received the Colin Thomas Award for outstanding achievement in mathematics and tutored mathematics and computer science.

  2. October 2024 - June 2027

    Mathematics at Durham University

    On track for a first-class degree. Current study includes computational mathematics, probability, statistical inference, and object-oriented programming in Java.

  3. July 2026 - present

    Technology Intern at Direct Soccer

    Completing a technology internship alongside independent programming projects and third-year Mathematics study.

  4. 2026-2027

    Planned final year

    Modules: Mathematical Finance III, Codes and Knots III, Decision Theory III, and Quantum Mechanics III. Planned dissertation: Reinforcement Learning and Game Strategies.

Technical foundation

Areas demonstrated in the work

Algorithms

  • Graph search
  • Union-find
  • Monte Carlo methods
  • Markov models

Systems & simulation

  • Rigid-body dynamics
  • Numerical methods
  • Canvas visualization
  • Reproducible experiments

Proof & logic

  • Mathematical proof
  • Lean 4
  • Axiomatic reasoning
  • Complexity analysis

Languages

  • Python
  • Java
  • R
  • SQL
  • MATLAB
  • HTML/CSS
  • Lean 4

Professional

  • Team leadership
  • Budget management
  • Strategic planning
  • Networking