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