This page was generated by Haskell on 25.12.25 with theme inspired by GHCi.
*David> print activities
I am involved in various teaching and outreach activities in my career.
Here are the outreach activities I was involved in.
London Maths Outreach: Group Theory ran in Spring 2025 at UCL A 4-week introductory course for sixth form students led by Alberto Centelles
London Maths Outreach: Rational Points and Elliptic Curves ran in Spring 2025 at UCL A 4-week introductory course for sixth form students led by Jed Thorpe
Logic and Proof Summer School ran in Summer 2023 at UCL A 5-day introductory course for sixth form students led by Nikoleta Kalaydzhieva
London Maths Outreach: Elliptic Curves ran in Spring 2023 at Harris Academy St John's Wood A 4-week introductory course for sixth form students assisted by Ben Handley
Here are the modules I have given lectures for.
Year 2 MATH0034 Number Theory ran in Spring 2024 at UCL
Year 2 MATH0034 Number Theory ran in Spring 2023 at UCL
Here are the activities I have supervised.
Year 1 Term 3 research projects ran in Summer 2025 at UCL Projects in Mordell's equation, Lean
Year 1 Term 3 research projects ran in Summer 2024 at UCL Projects in how to tell if a number is prime, group theory and Rubik's cube
Year 1 Term 3 research projects ran in Summer 2023 at UCL Projects in cryptography, sums of squares, the axiom of choice
Year 1 Term 3 research projects ran in Summer 2022 at UCL Projects in continued fractions, cryptography, Lean
Here are the small group tutorials I have ran.
Year 1 MATH0006 Algebra 2 ran in Spring 2025 at UCL
Year 3 6CCM351A Representation Theory of Finite Groups ran in Spring 2024 at KCL
Year 1 MATH0005 Algebra 1 ran in Autumn 2023 at UCL
Year 1 4CCM121A Introduction to Algebra ran in Autumn 2023 at KCL
Year 2 5CCM251A Discrete Mathematics ran in Spring 2023 at KCL
Year 2 5CCM224A Introduction to Number Theory ran in Autumn 2022 at KCL
Year 2 MATH0014 Further Linear Algebra ran in Autumn 2021 at UCL
Year 1 CO150 Graphs and Algorithms ran in Spring 2020 at Imperial
Year 1 CO141 Reasoning about Programs ran in Spring 2020 at Imperial
Year 1 CO140 Logic ran in Autumn 2019 at Imperial
Year 1 CO141 Reasoning about Programs ran in Spring 2019 at Imperial
Year 1 CO142 Discrete Structures ran in Autumn 2018 at Imperial
Year 1 CO140 Logic ran in Autumn 2018 at Imperial
Here are the large problems classes I have assisted with.
Year 3 MATH60040 Formalising Mathematics ran in Spring 2025 at Imperial
Year 1 MATH40003 Linear Algebra and Groups ran in Spring 2025 at Imperial
Year 3 MATH60040 Formalising Mathematics ran in Spring 2024 at Imperial
Year 1 MATH40003 Linear Algebra and Groups ran in Spring 2024 at Imperial
Year 1 MATH0014 Analysis 2 ran in Spring 2022 at UCL
Here are the modules I have marked courseworks for.
Year 3 MATH0050 Logic ran in Spring 2023 at UCL
Year 3 MATH0037 Logic ran in Spring 2023 at UCL
Year 3 MATH0022 Galois Theory ran in Autumn 2022 at UCL
Foundations of Mathematics ran in Autumn 2022 at UCL