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

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
Wouter Swierstra. Accepted for publication in JFP.
A Predicate Transformer Semantics for Effects
Wouter Swierstra and Anne Baanen. ICFP 2019.
An Efficient Algorithm for Type-Directed Structural Diffing
Victor Cacciari Miraldo and Wouter Swierstra. ICFP 2019.
A Research Agenda for Formal Methods in the Netherlands
Marieke Huisman, Wouter Swierstra and Eelco Visser (editors). Informal proceedings of a Lorentz Center Workshop.
Extended abstract: Generic Enumerators
Cas van der Rest, Wouter Swierstra and Manuel Chakravarty. TyDe 2019.
More publications...

Recent talks

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.
Structured diffs: theory and practice
ICFP PC Meeting. Salt Lake City, UT.
More talks...