About
I am an universitair docent (roughly equivalent to a
tenured assistant 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
-
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.
-
Calculating datastructures
- Ralf Hinze and Wouter Swierstra. Mathematics of Program Construction, 2022.
-
A well-known representation of monoids and its application to the function 'vector reverse' (Functional Pearl)
- Wouter Swierstra. JFP, vol. 32, 2022.
-
A completely unique account of enumeration
- Cas van der Rest and Wouter Swierstra. ICFP 2022.
- 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...