data
David
=
Notes

Projects

Talks
Talks
GHCi,
version 23.04.23:
https://www.haskell.org/
:? for
help
*David> print talk >> mapM_ print talks
Here are some presentation slides or typed notes for past mathematical talks.
Beyond the BrauerManin obstruction
Study group on the BrauerManin obstruction at the London School of Geometry and Number Theory
Introduction to abelian varieties over finite fields
Study group on abelian varieties over finite fields at University College London
Class number formula, à la Tate
London Junior Number Theory Seminar at King's College London
Examples of Brauer groups
Study group on the BrauerManin obstruction at the London School of Geometry and Number Theory
Tate's thesis and epsilon factors
Study group on Galois representations and root numbers at University College London
Elliptic curves and Mordell's theorem
2022 Xena Project Undergraduate Workshop at Imperial College London
Formalisation of elliptic curves in Lean
Young Researchers in Algebraic Number Theory at the University of Glasgow
Étale cohomology
Study group on étale cohomology at the London School of Geometry and Number Theory
The TateShafarevich and Brauer groups
Study group on curves over function fields at University College London
Elliptic curves and the MordellWeil theorem
London Learning Lean at Imperial College London
The Euler system of Heegner points
London Junior Number Theory Seminar at King's College London
Kolyagin's work on the BSD conjecture
Mini project presentation at the London School of Geometry and Number Theory
Elliptic curves in Lean
Mathematical Theorem Proving Workshop at Huawei Technologies R&D UK Ltd
Ideal class groups
Short introductory talk at the London School of Geometry and Number Theory
Rank heuristics for elliptic curves
Part III Seminar Series at the University of Cambridge
Arithmetic statistics for elliptic curves
Masters thesis presentation at Imperial College London
The ideal class group is a TateShafarevich group
Presentation at Essen Seminar for Algebraic Geometry and Arithmetic
Cryptography engineering at Adjoint UK Ltd
Industrial placement presentation at Imperial College London
Pairingbased elliptic curve cryptography
Lunch and Learn at Adjoint UK Ltd
An unusual cubic representation problem
slides
and
notes
Undergraduate Mathematics Colloquium at Imperial College London