About

I am an assistant professor (universitair docent) 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.

Calculating datastructures: Ralf Hinze and Wouter Swierstra. Submitted.
A well-known representation of monoids and its application to the function 'vector reverse' (Functional Pearl): Wouter Swierstra. Submitted to JFP.
A completely unique account of enumeration: Cas van der Rest and Wouter Swierstra. Submitted.
Translation certification for smart contracts: Jacco Krijnen, Manuel M.T. Chakravarty, Gabriele Keller and Wouter Swierstra. FLOPS 2022.
A correct-by-construction conversion to combinators (Functional Pearl): Wouter Swierstra. Submitted to JFP.
Translation certification for smart contracts (Extended abstract): Jacco Krijnen, Manuel M.T. Chakravarty, Gabriele Keller and Wouter Swierstra. TyDe 2021.
More publications...

A predicate transformer semantics for effects: Delft Colloquium. Remote.
Generic enumerations: completely, fairly: IFIP WG 2.1. Remote.
Heterogeneous binary random access lists: JFP track of ICFP 2020. Remote.
A predicate transformer semantics for effects: A research agenda for formal methods in the Netherlands. Lorentz Center, Leiden, the Netherlands.
A predicate transformer semantics for effects: ICFP 2019. Berlin, Germany.
More talks...