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 undergraduate

Here are some mathematics and computing projects I worked on as an undergraduate that might be useful as references.
• Haskell libraries for Galois fields, elliptic curves, and bilinear pairings: Year 3 industrial placement at Adjoint UK Ltd
• Fuzzing server and user interface for Hypothesis: Year 3 computing group project in Python
• The arithmetic of elliptic curves and the group law: Undergraduate Research Opportunity Programme supervised by Johannes Nicaise
• An introduction to finite projective planes: Year 2 mathematics group project supervised by Ambrus Pál
• Improvements to features of the Pintos operating system: Year 2 computing group project in C
• Full WACC language to Assembly language compiler: Year 2 computing group project in Haskell
• Basic equations parser and simplifier: Year 1 experimental project in Haskell
• MIDI file parser and mechanical glockenspiel player on the Raspberry Pi: Year 1 computing group project in C
• Computing topics project on home robotics: Year 1 computing group project in HTML / CSS
• Website design for MiGi Glass: high school project in HTML / CSS
Some of these have publicly hidden source code due to internal regulations but can be provided upon request.

*David> print lectures

I live-TeXed some lecture notes for the modules I attended in Imperial College London and the University of Cambridge that might be useful. If you discover any errors or typos, please do not hesitate to contact me via email, and I will surely fix them within a day.

Here are the Part III modules I attended in the University of Cambridge.
• Profinite Groups and Group Cohomology lectured by Gareth Wilkes in Lent 2021
• Algebraic Number Theory lectured by Tony Scholl in Lent 2021
• Local Fields lectured by Rong Zhou in Michaelmas 2020
• Algebraic Geometry lectured by Mark Gross in Michaelmas 2020
• Algebraic Topology lectured by Ivan Smith in Michaelmas 2020
• Elliptic Curves lectured by Tom Fisher in Michaelmas 2020

Here are the Year 4 modules I attended in Imperial College London.
• Algebraic Geometry lectured by Kevin Buzzard in Spring 2020
• Differential Topology lectured by Paolo Cascini in Spring 2020
• Complex Manifolds lectured by Paolo Cascini in Spring 2020
• Algebra IV lectured by John Britnell in Spring 2020
• Number Theory: Elliptic Curves lectured by Toby Gee in Autumn 2019
• Commutative Algebra lectured by Alexei Skorobogatov in Autumn 2019
• Modular Forms lectured by David Helm in Autumn 2019
• Infinite Groups lectured by Isabel Müller in Autumn 2019

Here are the Year 3 modules I attended in Imperial College London.
• Galois Theory lectured by Alessio Corti in Spring 2019
• Algebraic Number Theory lectured by Ana Caraiani in Spring 2019
• Geometry II: Algebraic Topology lectured by Christian Urech in Spring 2019
• Geometry of Curves and Surfaces lectured by Tom Coates in Autumn 2018
• Algebra III lectured by David Helm in Autumn 2018
• Number Theory lectured by Toby Gee in Autumn 2018
• Algebraic Combinatorics lectured by Joanna Fawcett in Autumn 2018
• Geometry I: Algebraic Curves lectured by Mattia Talpo in Autumn 2018
• Mathematical Logic lectured by David Evans in Autumn 2018