data David = Notes | Projects | Talks

GHCi, version 23.04.23: https://www.haskell.org/   :? for help

*David> print math >> mapM_ print (filter ((==) "math" . fst) projects)

• Here are the final reports of some of my past mathematics projects.
  • The Mordell-Weil theorem in Lean with code in mathlib
    LSGNT mini project supervised by Prof Kevin Buzzard
  • The Birch and Swinnerton-Dyer conjecture
    LSGNT group mini project supervised by Prof Vladimir Dokchitser
  • Arithmetic statistics for elliptic curves
    M4R masters thesis supervised by Prof Toby Gee
  • Class field theory and applications
    UROP project supervised by Dr David Helm
  • The arithmetic of elliptic curves and the group law
    UROP project supervised by Prof Johannes Nicaise
  • An introduction to finite projective planes
    M2R group project supervised by Dr Ambrus Pál

*David> print comp >> mapM_ print (filter ((==) "comp" . fst) projects)

• Here are some of my past computing projects, whose repositories are publicly hidden due to internal regulations, but can be provided upon request.
  • Cryptography engineering industrial placement at Adjoint UK Ltd (Haskell)
    Libraries for Galois fields, elliptic curves, and bilinear pairings
  • Fuzzing server and user interface for Hypothesis (Python)
  • Improvements to features of the Pintos operating system (C)
  • Full WACC language to Assembly language compiler (Haskell)
  • Basic equations parser and simplifier (Haskell)
  • MIDI file parser and mechanical glockenspiel player on the Raspberry Pi (C)
  • Computing topics project on home robotics (HTML / CSS)
  • Website design for MiGi Glass (HTML / CSS)