Home Works FAQ People

Works

Research

  1. A coalgebraic higher-order modal fixed-point logic, coauthored with Harsh Beohar and Charles Grellois.

Teaching Materials

These consist of notes I have written for any form of teaching affiliated with some institution/organisation.
  1. An introduction to sets and functions, for students visiting the School of Computer Science at the University of Sheffield.
    (March 2026; June 2026; July 2026)
  2. Contour integration, coauthored with Aris Mercier, for an MA270 Analysis 3 revision lecture organised by the Warwick Maths Society at the University of Warwick.
    (March 2024)

Personal Expository Works

These works are mainly exercises in self-learning, notes for reading groups I am/was part of, or notes I have written to explain a certain concept to someone else. They are a lot more personal and do not reflect the standards of any institution/organisation. They may also get updated every now and then to fix mistakes.
  1. Applications of forcing: Suslin's problem, supervised by Benedikt Löwe, written for the Part III Essay course as part of my MASt Mathematics degree at the University of Cambridge.
    (May 2025)
  2. Just how many real numbers are there?
    (May 2025)
  3. A list of reasons to doubt the axiom of choice.
    (February 2025)
  4. Zorn's lemma, without ordinals.
    (January 2025)
  5. A suite on the Wasserstein metric, supervised by Josephine Evans, written while funded by the University of Warwick's Undergraduate Research Support Scheme.
    (September 2024)
  6. Cichoń's diagram and the rearrangement number, supervised by Adam Epstein and András Máthé, written for the MA395 Essay module as part of my BSc Mathematics degree at the University of Warwick.
    (April 2024)
  7. Ordinal numbers, supervised by David Wood, written for the MA213 Second Year Essay module as part of my BSc Mathematics degree at the University of Warwick.
    (April 2023)