Wouter Swierstra

I am a postdoctoral researcher in the Software Technology Group of Utrecht University, generously funded by an NWO Vrije Competitie Grant.

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

Auto in Agda: programming proof search [bib] [source]
Pepijn Kokke and Wouter Swierstra. Submitted to ICFP 2014.
The Semantics of Version Control [bib] [source]
Wouter Swierstra and Andres Löh. Submitted to ESOP 2014.
AMEN [bib]
Wouter Swierstra. Liber Americorum for Doaitse Swierstra.
Engineering Proof by Reflection in Agda [bib]
Paul van der Walt and Wouter Swierstra. IFL 2012.
More publications...

Recent talks

Auto in Agda
IFIP WG 2.1 Meeting #71; Zeegse, the Netherlands.
The Semantics of Version Control
IFIP WG 2.1 Meeting #70; Schloss Reisensburg.
xmonad in Coq: programming a window manager in a proof assistant
Haskell Symposium; Copenhagen, Denmark.
Applications of reflection in Agda
Implementation and Applications of Functional Languages (IFL); Oxford, UK.
More talks...

Content

Contact

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