About me
I'm a PhD student in the Functional Programming Lab in the University of Nottingham. In 2024, I graduated from the Cambridge Mathematical Tripos.
My research focuses on the semantics of resources. Resources encode capabilities to perform actions, such as reading from memory, writing to a file, or performing a remote procedure call. Resource management is an essential part of any real-world program, and improper handling of resources is a frequent source of bugs. In my research, I am developing design techniques for building programming languages with provably safe resource management.
 | zeramorphic |
 | 0009-0004-2439-3459 |
Publications
| 2025 | • | A Compositional Semantics for Explicit Naming |
| Sky Wilshaw and Graham Hutton | ||
| 2025 | • | New Foundations is consistent |
| M. Randall Holmes and Sky Wilshaw | ||
| arXiv, Homepage, GitHub |
Talks
| 2025 | • | Compositional memory management in the λ-calculus |
| Sky Wilshaw and Graham Hutton | ||
| TYPES 2025: extended abstract, slides, video | ||
| 2024 | • | New Foundations: the story of a large formalisation project |
| Sky Wilshaw | ||
| Cambridge Lean User Group. Birmingham Theory Group. |
Links
Con(NF) project
Lean formalisation of the consistency of Quine's 1937 set theory New Foundations.
Maths Notes
Notes on the Cambridge Mathematical Tripos.