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 Foundations Group at the Radboud University Nijmegen.

Recent publications

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. FLOPS 2016.
Datatype generic programming in F#
Ernesto Rodriguez and Wouter Swierstra. Workshop on Generic Programming 2015.
The Utrecht Agda Compiler
Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra. Submitted to TFP 2015.
Functional Programming in Swift
Chris Eidhof, Florian Kugler, and Wouter Swierstra. Objc.io.
More publications...

Recent talks

Lazy, staged binary decision diagrams
Dagstuhl Seminar 16131 on Language Based Verification Tools for Functional Programs. Schloss Dagstuhl, Germany.
From proposition to program
International Symposium on Functional and Logic Programming (FLOPS '16). Kochi, Japan.
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.
More talks...