Wind Wong
Email: t.f.w.wong@vu.nl or im@windtfw.com
GitHub: https://github.com/windtf
My interests are:
- Type theory
- Formal Verification
- Cryptography
- Programming languages
Drafts
-
Symmetries in Sorting.
Wind Wong, Vikraman Choudhury, Simon Gay
[pdf]
Talks
Theses
-
Intrinsically-Typed Interpreter for Generalized Multiparty Session Calculus.
MSci, University of Glasgow, 2025
[pdf]
-
Sorting Correctly with Symmetries.
BSc, University of Glasgow, 2024
[pdf]
Projects
-
Agda Symmetries
Study of commutativity, order, and sorting in Cubical Agda
[github]
[html]