Welcome to my page!!!
Hiya! I'm Wind, and welcome to my site!
I'm currently an undergraduate at the University of Glasgow in Computing
Science.
For starters, here are my research interests:
- Type theory
- Programming languages
- Logic
- Constructive mathematics
- Formalisation
- Cryptography
Talks
-
On commutativity, total orders, and sorting.
HoTT/UF 2024
[abstract] [slides]
Theses
-
Sorting Correctly with Symmetries.
BSc, University of Glasgow, 2024
[pdf]