David Kurniadi Angdinata

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

GHCi, version 25.06.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.
- Elliptic divisibility sequences in Lean
  Contributed talk for British Mathematical Colloquium in Exeter on 25 June 2025
- Application of additive combinatorics
  Study group for Hilbert's tenth problem over rings of integers of number fields (9 talks from April 2025 to June 2025) in London on 18 June 2025
- Can we solve Diophantine equations?
  Colloquium talk for year 1 post exams colloquia in London on 28 May 2025
- 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