Welcome to my personal home page
Brief bio
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.
Currently, I am a full professor at Heriot-Watt University in Edinburgh. My main roles at this time are to be the Head of Department of Computer Science, and Deputy Executive Dean of the School of Mathematical and Compute Sciences. As a result, I am not very 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)
- Maintainer and coordinator of the programmer-friendly Helium for Haskell compiler
- Member of the Haskell Prime Committee
- Member of the EICC Exchange Committee
Short-running academic services
- PC Member of SLE 2025 in Koblenz, Germany [[ Go there ]]
- PC Member of TFP 2025 in Oxford, UK
- PC Member of IFL 2024 in Nijmegen, the Netherlands [[ Go there ]]
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)