About

I am an universitair docent (roughly equivalent to a tenured assistant professor) 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.

Program logics for ledgers: Orestis Melkonian, Wouter Swierstra and James Chapman. Submitted.
Verified technology mapping in an Agda DSL for circuit design: Joao Paulo Pizani Flor and Wouter Swierstra. IFL '22.
Translation certification for smart contracts: Jacco Krijnen, Manuel Chakravarty, Gabriele Keller and Wouter Swierstra. Submitted to SCP, 2022.
Calculating datastructures: Ralf Hinze and Wouter Swierstra. Mathematics of Program Construction, 2022.
A well-known representation of monoids and its application to the function 'vector reverse' (Functional Pearl): Wouter Swierstra. JFP, vol. 32, 2022.
A completely unique account of enumeration: Cas van der Rest and Wouter Swierstra. ICFP 2022.
More publications...