project on Service Extraction from Decomposed Software Monoliths in the Financial Domain ( ServiciFi) (NWO Jacquard 5th round, 2010). Two Ph D students, supervised together with Slinger Jansen. (Ph D candidates Amir Saeidi and Ravi Khadka).
project on Scriptable Compilers (NWO Open Competition Spring 2004) The Ph D candidate for this proposal was Stefan Holdermans
Bastiaan Heeren worked on improving type error messages for Haskell 98. He got his Ph D in 2005. You can find him here
I share responsibility for teaching the COSC Master courses on Types and Semantics (INFOMTS) and Compiler Construction (INFOMCCO).
I assist students in preparing for their colloquium talk, do an Experimentation Project, or do a Master project.
I have been involved in numerous other courses. Here is an overview.
I am currently member of the following (inter)national committee(s):