Jurriaan Hage

Welcome to my personal home page at Heriot-Watt

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.

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

Short-running academic services

None 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)

Teaching activities

I am currently not teaching. I do supervise MSc students on topics related to static analysis of programming languages.