Research output per year
Research output per year
Prof, Dr
EH14 4AS
United Kingdom
Accepting PhD Students
PhD projects
- static analysis, in particular of functional languages
- type error diagnosis for functional languages
Research activity per year
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 published on program plagiarism detection, software architecture, software analysis, and testing.
Before that, I studied computer science in Leiden and did a PhD on the topic of switching classes of graphs under the supervision of professors Grzegorz Rozenberg and Tero Harju.
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.
More information about me can be found on my personal webpages.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article