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