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.

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

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