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

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

*David> print hello

Hello there! I am David Ang, aka David Kurniadi Angdinata. Here is my CV.

I am currently a Senior Research Associate in the University of East Anglia, working under Chris Birkbeck for the Scalable Theorem Proving for Mathematical Databases project. Previously, I was a doctoral student in University College London affiliated with the London School of Geometry and Number Theory, jointly supervised by Vladimir Dokchitser and Kevin Buzzard. I was also a postgraduate student studying MASt Pure Mathematics in the University of Cambridge, and an undergraduate student studying MEng Mathematics and Computer Science in Imperial College London.

This website contains links to my research, teaching, events, talks, and other projects, with their source code on my GitHub profile. You can contact me via my institutional email address jrv25uea@uea.ac.uk, my permanent email address dka31@cantab.ac.uk, or my Discord username Multramate.