Writing

Preprints/Publications

• Counting wildly ramified quartic extensions with fixed automorphism group, 2024 (arxiv)

• S4-Quartics with Prescribed Norms, 2022 (arxiv version ,  detailed version)

• Formalising the Krull Topology in Lean, 2022 (arxiv version)

Exposition

• Derived Deformation Rings, 2021 (Masters dissertation under the supervision of Lukas Brantner) 

• Homological Algebra, 2021 (Lecture notes from a masters course at Oxford.  They are currently the official course lecture notes)