Activities

Publications

A list of my Technical Reports can be found here.

2014

2013

2012

2011

2010

2009

2008

2006

2005

2004

2003

2002

Research

Ideas At the Open Universiteit Nederland, we have started the Ideas project (Intelligent Domain-specific Exercise Assistants), which aims at developing tools for incrementally solving exercises. Our research focus is on strategies for exercises, which guide the reasoning in a particular domain. The software is written in Haskell and can be found on Hackage.

The Helium Compiler I am also interested in improving the quality of type error messages for higher-order, functional programming languages (such as Haskell). For this purpose, we have designed the TOP framework for constraint-based type inference, which is used in the Helium Compiler. A detailed description of this framework is given in my PhD thesis.

Teaching

In addition to supervising Bachelor and Master projects, I teach the following courses at the Open Universiteit:
Functioneel programmeren
Functioneel
programmeren
Design patterns
Design
patterns
Software architecture
Software
architecture
Software evolution
Software
evolution
Advanced functional programming
Advanced
functional
programming

Research Students

Supervised Master's theses:

Contact

My office is in the BBL building at De Uithof, Utrecht. Click here for a detailed description how to reach my office, or see my former staff page for further contact information.
Valid HTML 4.0 Transitional Valide CSS!