I completed my BA in Computer Science at the University of Cambridge in 2020 and continued to complete my MEng there in 2021. I remain a visiting member of the Cambridge Logical Structures Hub and a member of the Frex Project. I am currently reading for a DPhil in theoretical Computer Science at the University of Oxford. Broadly speaking, my research interests lie in Programming Language Theory; Type Theory; Category Theory; and Compiler Construction.