Wind Wong

Email: [email protected] or [email protected]

GitHub: https://github.com/windtf

Google Scholar: Wind Wong

My interests are:

• Type theory
• Formal Verification
• Cryptography
• Programming languages

Papers

• Symmetries in Sorting. TYPES 2025 Post-Proceedings (In Submission)
  [arxiv]

Talks

• On commutativity, total orders, and sorting. HoTT/UF 2024
  [abstract] [slides]

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]