I am currently employed by Vector Fabrics, a high-tech startup based in Eindhoven. We use functional programming technology to develop tools that make it easier to design embedded systems. You'd like it here.
Before working at Vector Fabrics, I was a postdoctoral researcher at the Chalmers University of Technology. Before that, I did my PhD at the University of Nottingham's Functional Programming Lab.
Recent work
- Chalk: a language and tool for architecture design and analysis [bib]
Wouter Swierstra, Koen Claessen, Carl Seger, Mary Sheeran, and Emily Shriver. Abstract accepted for Designing Correct Circuits 2010.
- More dependent types for distributed arrays [bib]
Wouter Swierstra. Submitted to Higher-order and Symbolic Computation
- Attribute Grammarrs Fly First-Class: How to do Aspect Oriented Programming in Haskell [bib]
Marcos Viera, S. Doaitse Swierstra, and Wouter Swierstra. Accepted for publication at ICFP 2009.
- A Hoare Logic for the State Monad [bib] [sources]
-
Wouter Swierstra. Accepted for publication at TPHOLS 2009.
- High level architectural modelling for early estimation of power and performance [bib]
Koen Claessen, Carl Seger, Mary Sheeran, Emily Shriver and Wouter Swierstra. Abstract submitted to HFL 2009.
- A Functional Specification of Effects [bib]
-
Thesis submitted to the University of Nottingham for the degree of Doctor of Philosophy.
- A tutorial implementation of a dependently-typed lambda calculus [bib] [sources]
-
Andres Löh, Conor McBride, and Wouter Swierstra. Submitted to Fundamenta Informaticae.
- Dependent Types for Distributed Arrays [bib][sources]
-
Wouter Swierstra and Thorsten Altenkirch. Postproceedings of Trends in Functional Programming 2008.
- The Power of Pi [bib]
-
Nicolas Oury and Wouter Swierstra. ICFP 2008.

