News

24-6-2015: Kick-off meeting for Surf project MOOC Data Science, for which we will develop automated feedback.
13-4-2015: Release of ideas-1.3.1 on Hackage for developing domain reasoners and intelligent tutoring systems.
25-3-2015: Presenation for the Symposium on the occasion of the Honorary Doctorate for Kurt VanLehn (slides)
16-2-2015: Expert meeting on automated scoring of mathematics, Arnhem

Activities


Selected publications

Or visit the full list of publications.

Research

Ideas At the Open University in the Netherlands, 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.


PhD students


Supervised Master's theses


Teaching

In addition to supervising Bachelor and Master projects, I teach the following courses at the Open University:
Functioneel programmeren
Functioneel
programmeren
Design patterns
Design
patterns
Software architecture
Software
architecture
Software evolution
Software
evolution
Research preparation
Research
preparation

Contact

My office is in the BBG 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!