Or visit the full list of publications.
In the Advise-Me project we develop an approach to using ICT for assessing mathematics achievement of pupils using learning environments for mathematics. In particular, we look at fine-grained cognitive assessment of free-form answers to math story problems, which requires determining the steps a pupil takes towards a solution, together with the high-level solution approach used by the pupil. We recognise steps and solution approaches in free-form answers and use this information to update a user model of mathematical competencies. We use the user model to find out for which student competencies we need more evidence of mastery, and determine which next problem to offer to a pupil. We have tested our work on a large dataset for one problem, and have performed multiple pilot studies in different European countries.
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.
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.
Software quality management
Phone: +31 (30) 253 4255
Office: Buys Ballotgebouw (BBG), office 572