I am a lecturer in the Software Technology Group of Utrecht University.

Brief bio

After studying Mathematics and Computer Science at the University of Utrecht, I did my PhD under supervision of Thorsten Altenkirch at the University of Nottingham's Functional Programming Lab. I worked as a post-doc at Chalmers University of Technology, before moving back to the Netherlands to work at Vector Fabrics, a high-tech startup that used functional programming to facilitate the design of embedded systems. After this brief stint in industry, I returned to academia as a postdoc in Foundations Group at the Radboud University Nijmegen.

Recent publications

Generic packet descriptions: verified parsing and pretty printing of low-level data
Marcell van Geest and Wouter Swierstra. Workshop on Type-driven Development (TyDe) 2017.
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre Evariste Dagand, and Wouter Swierstra. Workshop on Type-driven Development (TyDe) 2017.
In search of the consensus among musical pattern discovery algorithms
Iris Yuping Ren, Hendrik Vincent Koops, Anja Volk and Wouter Swierstra. The International Society for Music Information Retrieval Conference 2017.
Editorial: Special issue on Programming with Dependent Types
Wouter Swierstra and Peter Dybjer (editors). Journal of Functional Programming.
Embedding the Refinement Calculus in Coq [source]
Joao Alpuim and Wouter Swierstra. Science of Computer Programming.
More publications...

Recent talks

Embedding the refinement calculus in Coq
IFIP WG 2.1. Lesbos, Greece.
Type directed diffing of structured data
TyDe. Oxford, UK.
Datatype Generic Packet Descriptions
Galois Tech Talk. Portland, Oregon.
QuickCheck: a lightweight tool for random testing Haskell programs
Papers we love. Utrecht, the Netherlands.
PiWare: A hardware description language embedded in Agda
IFIP WG 2.1 Meeting. Glasgow, UK.
More talks...