*David> print teaching >> mapM_ print teaching
-
Here are some of my past and current teaching activities.
- Supervisions for Year 1 Term 3 research projects in University College London from May 2025 to June 2025
Projects on Mordell's equation and Lean
- Assistant for London Maths Outreach in University College London from March 2025 to April 2025
Assisted in an introductory course on group theory for sixth form students that spanned 4 weeks
- Laboratory for MATH60040 Formalising Mathematics in Imperial College London from January 2025 to March 2025
- Problem classes for MATH40003 Linear Algebra and Groups in Imperial College London from January 2025 to March 2025
- Tutorials for MATH0006 Algebra 2 for University College London from January 2025 to March 2025
- Assistant for London Maths Outreach in University College London from January 2025 to February 2025
Assisted in an introductory course on elliptic curves for sixth form students that spanned 4 weeks
- Supervisions for Year 1 Term 3 research projects in University College London from May 2024 to June 2024
Projects on how to tell if a number is prime and group theory and Rubik's cube
- Problem classes for MATH40003 Linear Algebra and Groups in Imperial College London from January 2024 to March 2024
- Laboratory for MATH60040 Formalising Mathematics in Imperial College London from January 2024 to March 2024
- Problem classes and marking for MATH0034 Number Theory in University College London from January 2024 to March 2024
- Tutorials for 6CCM351A Representation Theory of Finite Groups in King's College London from January 2024 to March 2024
- Tutorials for MATH0005 Algebra 1 for University College London from October 2023 to December 2023
- Tutorials and marking for 4CCM121A Introduction to Algebra in King's College London from October 2023 to December 2023
- Assistant for Year 12 Maths Summer School: Logic and Proof in University College London on July 2023
Assisted in an introductory course on logic and proof for sixth form students that spanned 5 days
- Supervisions for Year 1 Term 3 research projects in University College London from May 2023 to June 2023
Projects on cryptography, sums of squares, and the axiom of choice
- Teacher for London Maths Outreach in Harris Academy St John's Wood on March 2023
Designed a introductory course on elliptic curves for sixth form students that spanned 4 weeks
- Problem classes and marking for MATH0034 Number Theory in University College London from January 2023 to March 2023
- Marking for MATH0037 Logic in University College London from January 2023 to March 2023
- Marking for MATH0050 Logic in University College London from January 2023 to March 2023
- Tutorials and marking for 5CCM251A Discrete Mathematics in King's College London from January 2023 to March 2023
- Marking for MATH0022 Galois Theory in University College London from October 2022 to December 2022
- Marking for Foundations of Mathematics in University College London from October 2022 to December 2022
- Tutorials and marking for 5CCM224A Introduction to Number Theory in King's College London from October 2022 to December 2022
- Supervisions for Year 1 Term 3 research projects in University College London from May 2022 to June 2022
Projects on continued fractions, cryptography, and Lean
- Drop-in sessions for MATH0014 Analysis 2 in University College London from January 2022 to March 2022
- Tutorials and marking for MATH0014 Further Linear Algebra in University College London from October 2021 to December 2021
- Tutorials and marking for CO141 Reasoning about Programs in Imperial College London from January 2020 to March 2020
- Tutorials and marking for CO150 Graphs and Algorithms in Imperial College London from January 2020 to March 2020
- Tutorials and marking for CO140 Logic in Imperial College London from October 2019 to December 2019
- Tutorials and marking for CO141 Reasoning about Programs in Imperial College London from January 2019 to March 2019
- Tutorials and marking for CO140 Logic in Imperial College London from October 2018 to December 2018
- Tutorials and marking for CO142 Discrete Structures in Imperial College London from October 2018 to December 2018