Hi!

I'm Tom Smeding. I love programming, doing math and playing the piano.
I'm a PhD candidate in computer science at Utrecht University in the Netherlands.

You can reach me on Matrix, Libera.chat, Telegram, Github, LinkedIn and Facebook, among others. Besides Github, I also have a number of projects on my own server.

I've also written some notes at some point.

Academic publications

• 2022-07 Tom Smeding, Matthijs Vákár: “Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations”. Preprint, submitted to POPL. [arxiv, code]
• 2022-06 Matthijs Vákár, Tom Smeding: “CHAD: Combinatory Homomorphic Automatic Differentiation”. Preprint, to be published in TOPLAS. [arxiv, code]
• 2022-05 Tom Smeding, Matthijs Vákár: “Dual-Numbers Reverse AD, Efficiently”. Preprint. [arxiv, code]
• 2021: “Reverse Automatic Differentiation for Accelerate”. Master thesis at Utrecht University. Supervisors: Trevor McDonell, Matthijs Vákár. [PDF, code]
• 2018: “Fast Large-Integer Matrix Multiplication”. Bachelor thesis at Leiden University. Supervisors: Peter Bruin, Kristian Rietveld. [PDF, code]