David Kurniadi Angdinata

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

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

*David> print talk >> mapM_ print talks

Here are some presentation slides or typed notes for past mathematical talks.
- Computing Euler factors
  Study group for models of curves and arithmetic applications (12 talks from January 2025 to April 2025) in London on 2 April 2025
- Teaching a computer algebraic number theory
  Seminar talk for Algebra, Number Theory, Logic and Representation Theory Seminar in Norwich on 25 March 2025
- Computing L-functions over global function fields
  Workshop talk for Elliptic Curves in the Cotswolds in Stonehouse on 3 March 2025
- Algebraising foundations of elliptic curves
  Seminar talk for Formalisation of Mathematics with Interactive Theorem Provers in Cambridge on 13 February 2025
- Division polynomials of elliptic curves
  Contributed talk for Lean Together 2025 in Zoom (Online) on 17 January 2025
- Schinzel's hypothesis H
  Study group for open problems in number theory (10 talks from October 2024 to December 2024) in London on 31 October 2024
- Twisted elliptic L-values over global fields
  Contributed talk for Algebraic Number Theory in Munich on 5 September 2024
- Denominators of BSD quotients
  Contributed talk for Young Researchers in Algebraic Number Theory in Oxford on 31 July 2024
- Adèles and cohomology
  Study group for class field theory (9 talks from May 2024 to July 2024) in London on 4 July 2024
- Elliptic curves in mathlib
  Workshop talk for Formalising Algebraic Geometry in Pasadena (Online) on 26 June 2024
- Twisted L-values of elliptic curves
  Contributed talk for 75th British Mathematical Colloquium in Manchester on 19 June 2024
- Diophantine equations
  Colloquium talk for year 1 post exams colloquia in London on 20 May 2024
- L-values of elliptic curves twisted by cubic characters
  Seminar talk for Linfoot Number Theory Seminars in Bristol on 24 April 2024
- Kolyvagin's theorem
  Study group for the conjecture of Birch and Swinnerton-Dyer (11 talks from January 2024 to March 2024) in London on 13 March 2024
- The Brauer–Manin obstruction
  Seminar talk for London Junior Number Theory Seminar in London on 5 December 2023
- Congruences of twisted L-values
  Study group for what am I doing at the moment (8 talks from October 2023 to December 2023) in London on 19 October 2023
- The group law on an elliptic curve
  Seminar talk for postgraduate seminar in London on 5 October 2023
- Twisted elliptic L-values
  Contributed talk for Early Number Theory Researchers Workshop 2023 in Bielefeld on 25 August 2023
- An elementary formal proof of the group law on Weierstrass elliptic curves in any characteristic
  Conference talk for 14th International Conference on Interactive Theorem Proving in Białystok on 2 August 2023
- Dual abelian varieties
  Study group for abelian varieties over finite fields (11 talks from January 2023 to March 2023) in London on 18 January 2023
- Class number formula, à la Tate
  Seminar talk for London Junior Number Theory Seminar in London on 17 January 2023
- Examples of Brauer groups
  Study group for the Brauer-Manin obstruction (13 talks from October 2022 to March 2023, co-organiser) in London on 30 November 2022
- Tate's thesis and epsilon factors
  Study group for Galois representations and root numbers (10 talks from October 2022 to December 2022) in London on 22 November 2022
- Elliptic curves and Mordell's theorem
  Workshop talk for 2022 Xena Project undergraduate workshop in London on 29 September 2022
- Formalisation of elliptic curves in Lean
  Contributed talk for Young Researchers in Algebraic Number Theory on 24 August 2022
- Étale cohomology
  Study group for étale cohomology (9 talks from June 2022 to August 2022, co-organiser) in London on 5 August 2022
- The Tate-Shafarevich and Brauer groups
  Study group for curves over function fields (8 talks from May 2022 to July 2022) in London on 5 July 2022
- Elliptic curves and the Mordell-Weil theorem
  Seminar talk for London Learning Lean in London on 26 May 2022
- The Euler system of Heegner points
  Seminar talk for London Junior Number Theory Seminar in London on 10 May 2022
- Kolyagin's work on the BSD conjecture
  Presentation for London School of Geometry and Number Theory in London on 5 May 2022
- Elliptic curves in Lean
  Workshop talk for Huawei Technologies R&D UK Ltd in Cambridge on 25 April 2022
- Ideal class groups
  Presentation for the London School of Geometry and Number Theory in London on 6 October 2021
- Rank heuristics for elliptic curves
  Seminar talk for Part III Seminar Series in Cambridge on 4 December 2020
- Arithmetic statistics for elliptic curves
  Presentation for master's thesis presentation in London 22 June 2020
- The ideal class group is a Tate-Shafarevich group
  Presentation for Essen Seminar for Algebraic Geometry and Arithmetic in Essen (Online) on 11 March 2020
- Cryptography engineering at Adjoint UK Ltd
  Presentation for industrial placement in London on 4 October 2019
- Pairing-based elliptic curve cryptography
  Presentation for Adjoint UK Ltd in London on 13 September 2019
- An unusual cubic representation problem slides and notes
  Colloquium talk for undergraduate Mathematics Colloquium in London on 16 January 2019