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

• 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]