Projects
- University of Glasgow BSc (Hons) Final Year Project:
- Container Data Types and Their Properties:
Lobster: A (New) Logic for Rewrite StrategiesShoggoth - A Formal Foundation for Strategic Rewriting:- Informal document: View online
- Formal document: Paper
- A Study in Equality (ongoing):
- Panopticon - A Rust RPC Library:
- Necronomicon: the thesis
- Project repository
- View online
- A summary of projects
- The pre-viva version
- The final version I am officially a doctor!
- Graduation ceremony: 21/11/2024, 11am, University of Edinburgh, McEwan Hall