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
- Engineering Proof by Reflection in Agda [bib]
- Paul van der Walt and Wouter Swierstra. IFL 2012.
- Pure and Lazy Lambda Mining: An Experience Report [bib]
- Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, and Wouter Swierstra. IFL 2012.
- Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht [bib]
- Jurriën Stutterheim, Wouter Swierstra, and S. Doaitse Swierstra. Submitted to TFPiE.
- Xmonad in Coq: Programming a window manager in a proof assistant [bib]
- Wouter Swierstra. Haskell Symposium 2012.
Recent talks
- 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.
- How I generate my homepage
- Dutch HUG Day; Utrecht, the Netherlands.
- From Mathematics to Abstract Machine
- The Fourth Workshop on Mathematically Structured Functional Programming; Tallinn, Estonia.
Content
Contact
PO Box 80.089
3508 TB Utrecht
The Netherlands
w.s.swierstra {at} uu.nl