Wen Kokke

Wen has been using Haskell for nearly 20 years, and, while she is fluent in many programming languages, Haskell continues to be her programming language of choice.

Wen wrote her Ph.D. thesis on session types for deadlock-free communication protocols at the University of Edinburgh. As a postdoctoral researcher, she worked on property-based testing for compilers at the University of Edinburgh and developed a programming language for verified machine learning at Heriot-Watt University and the University of Strathclyde.

Wen is a well-known member of the Agda community. She created and maintains several Agda libraries and tools and co-created the book Programming Language Foundations in Agda with Philip Wadler.

Outside of programming, she is a potter and an improvisor.

Recent blog posts by Wen Kokke