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