Research output per year
Research output per year
Personal profile
Research interests
I am a PhD student in the Mathematical Foundations of Computation group, doing research in proof theory. My supervisor is Willem Heijltjes.
You can find my personal web page here.
Education/Academic qualification
Mathematics, Master of Mathematics, University of Oxford
Oct 2016 → Jun 2020
Award Date: 20 Jun 2020
Fingerprint
Dive into the research topics where Cameron Allett is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Chapter in a published conference proceeding
-
Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms
Allett, C., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. U. S. A.: IEEE, 3. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access