- PhD Student
Research
My research interests fall at the intersection of Functional Programming and Type Theory.
My current project is on unrolling inductive datatypes for optimisation purposes, starting with unrolling lists.
Teaching
I supervise various theory courses in Part IB and Part II, including but not limited to
- Logic and Proof
- Types
- Denotational Semantics
- Algebraic Methods in Programming Languages.
My supervision style is relaxed, encouraging group discussions over just knowing solutions. I tend to supervise courses I would like to learn so that I can not only teach my supervisees the course, but also how I approach learning the material.
If you are interested in having me as a supervisor, send me an email and I am always happy to discuss.
