I am a postdoctoral researcher in the Foundations Group of the Radboud Universiteit Nijmegen. I am generously funded by the NWO Rubicon grant, The Logic of Interaction.
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.
Recent work
- From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [source]
- Wouter Swierstra. Submitted to MSFP '12.
- Embedding Polymorphic Dynamic Typing [bib]
- Thomas van Noort, Wouter Swierstra, Peter Achten, and Rinus Plasmeijer. Submitted to the Workshop on Generic Programming.
- Sorted: Verifying the Problem of the Dutch National Flag in Type Theory [bib] [source] [JFP]
- Wouter Swierstra. Submitted to the Journal of Functional Programming.
Recent talks
- xmonad in Coq: programming a window manager in a proof assistant
- Dutch FP Day; Utrecht, the Netherlands.
- From Math to Machine: A formal derivation of an executable Krivine machine
- Brouwer Seminar; Nijmegen, the Netherlands.
- Data types à la carte
- Dutch HUG meeting; Utrecht, the Netherlands.
Content
Contact
FNWI
Radboud Universiteit
Heijendaalseweg 135
6525 AJ Nijmegen
The Netherlands
w.swierstra {at} cs.ru.nl