In many subjects students have to acquire procedural skills. This project aims to investigate techniques for providing flexible and immediate feedback in tools that support practicing procedural skills. We want to use advanced techniques from computer science, taken from fields such as term rewriting, strategies, error-correcting parsers and generic programming to provide feedback at each intermediate step from the start towards the solution of an exercise.
Software
See our Subversion server.
Conferences
- 7th European Conference on eLearning – ECEL 2008 held in Agia Napa, Cyprus, 6-7 November 2008
- 1st International Conference on Computer Supported Education – CSEDU 2009, held in Lisbon, Portugal, 23 – 26 March 2009
- FP-NL dag 2010, held at the Radboud Universiteit Nijmegen, 8 January 2010
- 41st ACM Technical Symposium on Computer Science Education (SIGCSE) 2010, held in Milwaukee, WI, United States, 10 – 13 March 2010
- International Workshop on Strategies in Rewriting, Proving, and Programming a satellite workshop of FLoC 2010, 9 July, Edinburgh UK
- E-learning and mathematics (ELAM), 6 and 7 June 2011, Eindhoven
Awards
Best Student Paper Award from CSEDU 2009 for the `Constructing Strategies for Programming’ paper.
Teaching
In the academic year 2008–2009 I taught the following master course:
Capita Selecta Thema – Software Technology
(note: the link only works when you have an OU ‘studienet’ account)
Talks
Here are some links to the slides of recent talks:
- A programming tutor for Haskell, Chalmers, October 2011