I am an universitair hoofddocent (roughly equivalent to associate 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.

Recent publications

A Functional Correspondence between Top-down and Bottom-up Tree Algorithms: Fast and Correct Fully In-Place Functions with First-Class Constructor Contexts and Zippers
Anton Lorenzen, Daan Leijen, Wouter Swierstra and Sam Lindley. MSR Tech Report, MSR-TR-2023-28.
FP²: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen and Wouter Swierstra. ICFP 2023.
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.
Trends in Functional Programming
Wouter Swierstra and Nicolas Wu (editors). LNCS, volume 13401.
More publications...

Recent talks

How to believe a verified program?
Unsound Workshop. Remote.
A correct-by-construction conversion to combinators
IFIP WG 2.1. Online.
Calculating datastructures
Mathematics of Program Construction. Remote.
A predicate transformer semantics for effects
Delft Colloquium. Remote.
Generic enumerations: completely, fairly
IFIP WG 2.1. Online.
More talks...