Personal profile
Biography
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.
Fingerprint
- 1 Similar Profiles
-
Welcome from the Chair
Hage, J., 18 Aug 2021, 26th ACM SIGPLAN International Conference on Functional Programming: ICFP '21. Association for Computing Machinery, p. III 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A quick look at impredicativity
Serrano, A., Hage, J., Peyton Jones, S. & Vytiniotis, D., 2 Aug 2020, In: Proceedings of the ACM on Programming Languages. 4, ICFP, 89.Research output: Contribution to journal › Article › peer-review
Open AccessFile21 Link opens in a new tab Citations (Scopus)48 Downloads (Pure) -
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning
Burgers, J., Hage, J. & Serrano, A., 2 Sept 2020, IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. Chitil, O. (ed.). Association for Computing Machinery, p. 33-43 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Higher-Ranked Annotation Polymorphic Dependency Analysis
Thorand, F. & Hage, J., 18 Apr 2020, Programming Languages and Systems. ESOP 2020. Müller, P. (ed.). Springer, p. 656-683 28 p. (Lecture Notes in Computer Science; vol. 12075).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile45 Downloads (Pure) -
Preface
Hage, J., 24 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science. 321Research output: Contribution to journal › Article