Welcome to my personal home page at Heriot-Watt
My research interests lie in the area of static analysis, with a focus on type error diagnosis and static analysis of functional languages. I also publish on program plagiarism detection, software architecture, software analysis, and testing.
Before that, I studied computer science in Leiden and did my PhD on switching classes under the supervision of professors Grzegorz Rozenberg and Tero Harju.
At Heriot-Watt I am at this moment the Head of Department of Computer Science, and therefore not terribly active in either teaching or research.
Long-running academic services
- Steering Committee Chair of the IFL Symposia (since September 2020)
- Steering Committee member of the Symposium on Trends in Functional Programming (TFP)
- Steering Committee member of the Haskell Symposium
- Maintainer and coordinator of the programmer-friendly Helium for Haskell compiler
- Member of the Haskell Prime Committee
Short-running academic servicesNone at the moment.
Externally funded projects
- DOMain-Specific Type Error Diagnosis (DOMSTED), one PhD student in the NWO Free Competition (round Autumn 2012)
- Higher-Ranked Polyvariance Explored, one PhD student in the NWO Free Competition (round Autumn 2011)
- Future Internet Testing (EU project within FP7: ICT Software & Service Architectures and Infrastructures). Co-applicant with Wishnu Prasetya and international academic and industrial partners
- Service Extraction from Decomposed Software Monoliths in the Financial Domain (ServiciFi) (NWO Jacquard 5th round, 2010). Two PhD students, co-applicant with Slinger Jansen
- Scriptable Compilers, one PhD student in the NWO Open Competition (round Spring 2004)