Odds and ends
Writing
Paddling and sailing around SchiermonnikoogA two-day kayak (and sail) trip around Schiermonnikoog, August 2026.
- Requiring formalisation of AI-generated proofs
A proposal that journals should only publish AI-generated proofs if they come with a formally verified proof.
Notes and slides from talks
- Notes for a talk on valuativisations at Garnet Akeyr's log geometry seminar. First talk reached end of 2.5.3.
- Notes from bachelor seminar talk on 'Counting rational curves in the plane' at Leiden (May 2017).
- Slides from contributed talk on 'A Néron model of the universal Jacobian' at the 2015 Summer Research Institute on Algebraic Geometry, Utah (July 2015). The talk also included some parts on the whiteboard, which are similar to things in various talks below.
- Notes from colloquium talk on 'complexity of rational solutions to polynomial equations' at the Universiteit van Amsterdam (February 2015).
- Notes from a talk on the Néron models of jacobians over higher-dimensional bases at the Leiden algebra seminar (February 2015).
- Notes from a talk on the Néron models of the universal jacobian (and some arithmetic applications) at the Utrecht 'Geometry and Algebra, Geometry and Analysis' seminar (January 2015).
- Notes from a talk on Néron models in higher dimension at the ARIVAF closing conference in Bordeaux (Autumn 2014).
- Notes from a talk on Néron models in higher dimension at the ICMAT in Madrid for the research trimester on Multiple Zeta Values, Multiple Polylogarithms, and Quantum Field Theory (Autumn 2014).
- Hamburg number theory seminar talk explaining part of my PhD thesis (summer 2012).
- Basic talk on the universal elliptic curve given to Hamburg undergraduates (spring 2012).
- Equations for a genus 2 Jacobian – often useful/fun.
- Typed notes for a talk on 'Compactifications of Siegel Modular Varieties' for the Moduli of Abelian Varieties Seminar (08/02/2012).
- Slides for a talk 'Functional Equations' for the joint Warwick-Bristol Langlands programme reading group (summer 2011).
- Scanned notes for an introductory talk for the Néron models reading group
Other things
- Some fun pictures coming from universal Néron model admitting stacks – feel free to ask for more details…
- Sage worksheet for automatically generating questions for linear algebra exams (e.g. 'random' matrices in GLn(Z) with small entries).
- A page with some information relating to a talk at Skinner's School.
- Notes from talks by Angelo Vistoli at the summer school on Stacks, Mainz, 2015.
- Notes from a course I taught on elliptic curves in Leiden. Many thanks to Steve Alberts for typesetting.
- Page on pronouns for students writing theses.
- Eclipse photos 2015
- 2019 Intercity geometry seminar on a preprint of Molcho and Wise in which they prove the representability (in a suitable sense) of the logarithmic Picard functor, organised jointly with Chris Lazda, Adrien Sauvaget and Arne Smeets. See here for more information.