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.

Recent publications

Translation certification for smart contracts
Jacco Krijnen, Manuel M.T. Chakravarty, Gabriele Keller and Wouter Swierstra. Submitted to 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.
A well-known representation of monoids and its application to the function 'vector reverse' (Functional Pearl)
Wouter Swierstra. Submitted to JFP.
Generic Enumerations: Completely, Fairly (Functional Pearl)
Cas van der Rest and Wouter Swierstra. Submitted.
Algorithmics
Richard Bird‚ Jeremy Gibbons‚ Ralf Hinze‚ Peter Hoefner‚ Johan Jeuring‚ Lambert Meertens‚ Bernhard Moeller‚ Carroll Morgan‚ Tom Schrijvers‚ Wouter Swierstra and Nicolas Wu. IFIP AICT.
More publications...

Recent talks

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...