data David = Projects | Talks | Conferences | Teaching | Notes

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

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

• Here are my recent research projects and some of their final papers.
  • Twisted L-values of elliptic curves over global function fields
  • Formalising division polynomials, elliptic divisibility sequences, the torsion subgroup, and the Tate module of Weierstrass elliptic curves (joint with Peiran Wu and Junyan Xu)
    Preprint in preparation
  • Algebraicity of Artin–Hasse–Weil L-series over global function fields
    Preprint
  • L-values of elliptic curves twisted by cubic characters
    Preprint submitted to the Journal of the London Mathematical Society
  • An elementary formal proof of the group law on Weierstrass elliptic curves in any characteristic (joint with Junyan Xu)
    Published in the 14th International Conference on Interactive Theorem Proving

*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
    London School of Geometry and Number Theory mini project supervised by Prof Kevin Buzzard
  • The Birch and Swinnerton-Dyer conjecture
    London School of Geometry and Number Theory group mini project supervised by Prof Vladimir Dokchitser
  • Arithmetic statistics for elliptic curves
    Advanced Research Project in Mathematics supervised by Prof Toby Gee
  • Class field theory and applications
    Undergraduate Research Opportunity Programme supervised by Prof David Helm
  • The arithmetic of elliptic curves and the group law
    Undergraduate Research Opportunity Programme supervised by Prof Johannes Nicaise
  • An introduction to finite projective planes
    Year Two Mathematics 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)