Wouter Swierstra

I am a lecturer 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 uses functional programming to facilitate the design of embedded systems. After this brief stint in industry, I returned to academia as a postdoc in the Foundations Group at the Radboud University Nijmegen.

Recent work

Pi-Ware: Hardware Description and Verification in Agda [source]
Joao Paulo Pizani Flor, Wouter Swierstra, and Yorick Sijsling. Submitted to TYPES 2015 post-proceedings.
From proposition to program: embedding the refinement calculus in Coq
Wouter Swierstra and Joao Alpuim. Accepted for publication at FLOPS 2016.
Datatype generic programming in F# [bib]
Ernesto Rodriguez and Wouter Swierstra. Workshop on Generic Programming 2015.
The Utrecht Agda Compiler [bib]
Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra. Submitted to TFP 2015.
More publications...

Recent talks

Auto in Agda
Workshop on Advances in Programming Languages and Systems; Frankfurt, Germany.
The semantics of version control
Workshop on Realistic Program Verification; Nijmegen.
Datatype generic programming in F#
Workshop on Generic Programming; Vancouver, BC.
Auto in Agda
Mathematics of Program Construction; Königswinter, Germany.
More talks...



PO Box 80.089
3508 TB Utrecht
The Netherlands
w.s.swierstra {at} uu.nl