data David = Research | Activities | Events | Talks | Miscellaneous | Lean-LMFDB

This page was generated by Haskell on 03.02.26 with theme inspired by GHCi.

*David> print talks

I give many research and expository talks throughout my career in the form of beamer slides or supplementary notes that might be useful as references. If you discover any errors or typos, please do not hesitate to contact me via email, and I will surely fix them within a day.

Here are the talks for my conference proceedings.
• An elementary formal proof of the group law on Weierstrass elliptic curves in any characteristic given in Białystok on Wednesday, 2 August 2023 as part of 14th International Conference on Interactive Theorem Proving

Here are the weekly seminars I was invited to.
• A blueprint for the Birch and Swinnerton-Dyer conjecture in Lean given in Beijing (Online) on Tuesday, 13 January 2026 as part of 数学机械化重点实验室 Seminar
• Teaching a computer algebraic number theory given in Norwich on Tuesday, 25 March 2025 as part of Algebra, Number Theory, Logic and Representation Theory Seminar
• Algebraising foundations of elliptic curves given in Cambridge on Thursday, 13 February 2025 as part of Formalisation of Mathematics with Interactive Theorem Provers
• L-values of elliptic curves twisted by cubic characters given in Bristol on Wednesday, 24 April 2024 as part of Linfoot Number Theory Seminars
• The Brauer–Manin obstruction given in London on Tuesday, 5 December 2023 as part of London Junior Number Theory Seminar
• The group law on an elliptic curve given in London on Thursday, 5 October 2023 as part of postgraduate seminar (UCL)
• Class number formula, à la Tate given in London on Tuesday, 17 January 2023 as part of London Junior Number Theory Seminar
• Elliptic curves and the Mordell–Weil theorem given in London on Thursday, 26 May 2022 as part of London Learning Lean
• The Euler system of Heegner points given in London on Tuesday, 10 May 2022 as part of London Junior Number Theory Seminar
• An unusual cubic representation problem given in London on Wednesday, 16 January 2019 as part of undergraduate mathematics colloquium (Imperial)

Here are the workshop talks I was invited to.
• Formalising division polynomials in Lean given in Beijing on Monday, 26 January 2026 as part of Lean 形式化数学学习强化和实践交流研讨会
• Elliptic curves in mathlib given in Pasadena, CA (Online) on Wednesday, 26 June 2024 as part of Formalising Algebraic Geometry
• Elliptic curves and Mordell's theorem given in London on Thursday, 29 September 2022 as part of 2022 Xena Project Undergraduate Workshop
• Elliptic curves in Lean given in Cambridge on Monday, 25 April 2022 as part of Mathematical Theorem Proving Workshop (Huawei Technologies R&D UK Ltd)

Here are the conference talks I have contributed.
• Computing Dirichlet L-functions over global function fields given in Nottingham on Thursday, 4 September 2025 as part of Young Researchers in Algebraic Number Theory
• Rational points on elliptic curves in Lean given in Schney on Thursday, 31 July 2025 as part of Rational Points 2025
• Elliptic divisibility sequences in Lean given in Exeter on Wednesday, 25 June 2025 as part of British Mathematical Colloquium and British Applied Mathematics Colloquium
• Computing L-functions over global function fields given in Stonehouse on Monday, 3 March 2025 as part of Elliptic Curves in the Cotswolds
• Division polynomials of elliptic curves given in Zoom (Online) on Friday, 17 January 2025 as part of Lean Together 2025
• Twisted elliptic L-values over global fields given in Munich on Thursday, 5 September 2024 as part of Algebraic Number Theory
• Denominators of BSD quotients given in Oxford on Wednesday, 31 July 2024 as part of Young Researchers in Algebraic Number Theory
• Twisted L-values of elliptic curves given in Manchester on Wednesday, 19 June 2024 as part of 75th British Mathematical Colloquium
• Twisted elliptic L-values given in Bielefeld on Friday, 25 August 2023 as part of Early Number Theory Researchers Workshop 2023
• Formalisation of elliptic curves in Lean given in Glasgow on Wednesday, 24 August 2022 as part of Young Researchers in Algebraic Number Theory
• Rank heuristics for elliptic curves given in Cambridge on Friday, 4 December 2020 as part of Part III Seminar Series

Here are the informal colloquiums I have given.
• A unique pair of triangles given in Norwich on Wednesday, 12 November 2025 as part of random maths (UEA)
• Can we solve Diophantine equations? given in London on Wednesday, 28 May 2025 as part of year 1 post exams colloquia (UCL)
• Diophantine equations given in London on Monday, 20 May 2024 as part of year 1 post exams colloquia (UCL)
• Pairing-based elliptic curve cryptography given in London on Friday, 13 September 2019 as part of Lunch and Learn (Adjoint UK Ltd)

Here are the presentations I have done during my career.
• L-functions of Dirichlet twists of elliptic curves: computations and congruences given in London on Monday, 1 December 2025 as part of PhD viva examination (UCL)
• Kolyagin's work on the BSD conjecture given in London on Thursday, 5 May 2022 as part of mini-project presentation (LSGNT)
• Ideal class groups given in London on Wednesday, 6 October 2021 as part of introductory presentation (LSGNT)
• Arithmetic statistics for elliptic curves given in London on Monday, 22 June 2020 as part of master's thesis presentation (Imperial)
• The ideal class group is a Tate–Shafarevich group given in Essen (Online) on Wednesday, 11 March 2020 as part of interview presentation (ESAGA)
• Cryptography engineering at Adjoint UK Ltd given in London on Friday, 4 October 2019 as part of industrial placement presentation (Imperial)

Here are the study group talks I have contributed.
• The Langlands–Deligne local constant given in Norwich on Tuesday, 3 February 2026 as part of the Langlands–Deligne local constant (11 talks from February 2026 to April 2026, organised by myself)
• Hyperelliptic curves over function fields given in London on Friday, 28 November 2025 as part of the arithmetic of hyperelliptic curves (9 talks from October 2025 to December 2025, organised by Harry Spencer)
• Sheaves, functors, and derived versions given in Norwich on Tuesday, 4 November 2025 as part of character sheaves (10 talks from September 2025 to December 2025, organised by Marie Roth)
• Application of additive combinatorics given in London on Wednesday, 18 June 2025 as part of Hilbert's tenth problem over rings of integers of number fields (9 talks from April 2025 to June 2025, organised by Lee Berry, Giorgio Navone, and Corijn Rudrum)
• Computing Euler factors given in London on Wednesday, 2 April 2025 as part of models of curves and arithmetic applications (12 talks from January 2025 to April 2025, organised by Elvira Lupoian)
• Schinzel's hypothesis H given in London on Thursday, 31 October 2024 as part of open problems in number theory (10 talks from October 2024 to December 2024, organised by Jamie Bell)
• Adèles and cohomology given in London on Thursday, 4 July 2024 as part of class field theory (9 talks from May 2024 to July 2024, organised by Jamie Bell)
• Kolyvagin's theorem given in London on Wednesday, 13 March 2024 as part of the conjecture of Birch and Swinnerton-Dyer (11 talks from January 2024 to March 2024, organised by Dominik Bullach and Robert Rockwood)
• Congruences of twisted L-values given in London on Thursday, 19 October 2023 as part of what am I doing at the moment (8 talks from October 2023 to December 2023, organised by Alexandros Constantinou)
• Dual abelian varieties given in London on Wednesday, 18 January 2023 as part of abelian varieties over finite fields (11 talks from January 2023 to March 2023, organised by Luis Garcia and Caleb Springer)
• Examples of Brauer groups given in London on Wednesday, 30 November 2022 as part of the Brauer–Manin obstruction (13 talks from October 2022 to March 2023, organised by Sebastian Monnet, Mohamed Tawfik, and myself)
• Tate's thesis and epsilon factors given in London on Tuesday, 22 November 2022 as part of Galois representations and root numbers (10 talks from October 2022 to December 2022, organised by Holly Green)
• Étale cohomology given in London on Friday, 5 August 2022 as part of étale cohomology (9 talks from June 2022 to August 2022, organised by Yuan Yang and myself)
• The Tate–Shafarevich and Brauer groups given in London on Tuesday, 5 July 2022 as part of curves over function fields (8 talks from May 2022 to July 2022, organised by Holly Green)