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.

More publications...