I am currently a PhD student supervised by Giulio Manzonetto and
Flavien Breuvart.
My thesis can be separated into two projects: Full abstraction of PCF using Addressing Machines and semiring based exponentials in Linear Logic.
About Me
Education
- Since 2020:
- Doctoral Student at Université Sorbonne Paris Nord, funded by CNRS project COGITARE.
- 2016-2020:
- Master of Computing at the University of Bath. First-class honours. This was an integrated masters combining an undergraduate bachelor's degree with a postgraduate master's degree.
- 2013-2015:
- International Baccalaureate at St. Clare's College, Oxford. 38 points.