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
-
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.
-
Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Anne Baanen and Wouter Swierstra. MSFP 2020.
-
Heterogeneous binary random-access lists (Functional Pearl)
- Wouter Swierstra. Journal of Functional Programming, 2020, Vol. 30.
-
A Predicate Transformer Semantics for Effects
- Wouter Swierstra and Anne Baanen. ICFP 2019.
- More publications...
Recent talks
- 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.
- From algebra to abstract machine
- IFIP WG 2.1. Brandenburg, Germany.
- Data types à la carte
- Cross Functional Amsterdam Meetup. Amsterdam, the Netherlands.
- More talks...