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, where I am also the Deputy Executive Dean of the School of Mathematical and Compute Sciences.

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 ICSOB 2026 in Gothenburg, Sweden [[ 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)