Cameron Allett

About me

I am a PhD student in the Mathematical Foundations of Computation group at the University of Bath, doing research in proof theory. I began my studies in October 2021, with funding from an EPSRC studentship. My supervisor is Alessio Guglielmi.

Previously, I completed a BA and MMath in Mathematics at the University of Oxford.

Event(s)

I attended the Midlands Graduate School in the Foundations of Computing Science in Nottingham, England from 10 - 14 April 2022.

I attended the Linear Logic Winter School as part of Logic and Interactions 2022 at CIRM in Marseille, France from 24 - 28 January 2022.

Teaching

I am currently a tutor on the Functional Programming module.

Email

ca821@bath.ac.uk

Go to the University of Bath Home Page.