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 predicate transformer semantics for effects
Wouter Swierstra and Tim Baanen. Submitted to ICFP 2019.
An Efficient Algorithm for Type-Directed Structural Diffing
Victor Cacciari Miraldo and Wouter Swierstra. Submitted to ICFP 2019.
From algebra to abstract machine: a verified generic construction
Carlos Tomé Cortiñas and Wouter Swierstra. TyDe 2018.
Improving Error Messages for Dependent Types
Joseph Eremondi, Jurriaan Hage and Wouter Swierstra. Submitted to a special issue of Open Computer Science on Type-error diagnosis.
Extended Abstract: Improving Error Messages for Dependent Types
Joseph Eremondi, Jurriaan Hage and Wouter Swierstra. Accepted for presentation at TyDe 2018.
More publications...

Recent talks

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.
Algebraic effects - specification and refinement
Dagstuhl meeting. Schloss Dagstuhl.
Calculating correct programs
Meeting of the EU TYPES Cost Action. Nijmegen, the Netherlands.
More talks...