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

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

*David> print hello

• Hello there. I am David Kurniadi Angdinata. Here is my CV.

*David> print education

• I am a doctoral student in University College London, affiliated with the London School of Geometry and Number Theory. Currently, my PhD is in the area of algebraic number theory, jointly supervised by Prof Vladimir Dokchitser and Prof Kevin Buzzard. Previously, I completed my undergraduate MEng Mathematics and Computer Science degree in Imperial College London and a postgraduate MASt Pure Mathematics degree in the University of Cambridge.

*David> print research

• I currently work in the arithmetic of abelian varieties over global fields, specifically on the special values of their twisted L-functions in the context of the refined Birch and Swinnerton-Dyer conjecture. I am involved in the formalisation of arithmetic geometry in interactive theorem provers, being a pioneer in the development of the theory of elliptic curves in Lean. I am also interested in understanding local-global obstructions to rational points on varieties, via cohomological gadgets such as the Brauer group. Finally, I am passionate in pedagogical aspects of undergraduate mathematics education.

*David> print links

• This website contains navigation links to some of my projects, talks, conferences, teaching, and notes, with their complete repositories found on GitHub. I am best contacted via my institutional email address ucahdka@ucl.ac.uk, or my permanent email address dka31@cantab.ac.uk. Otherwise, I may be contacted via Discord (Multramate), Facebook, WhatsApp, WeChat (Multramate), LinkedIn, Signal, or Telegram, in order of increasing response time.