Web Home

Coordinates

• Assistant professor
• Center for Software Technology
• Department of Information and Computing Sciences
• Utrecht University
• Utrecht, The Netherlands (CEST/CET)
• Email: J.Hage@uu.nl
• Address information

Research interests

• Static analysis including:
  • type and effect systems for (lazy) functional languages
  • feedback oriented static analysis with a focus on functional languages
  • plagiarism detection with Marble
• The Helium compiler
• Switching classes: a sideline from my Ph D period. As a result of that work, my Erdös number is three. My dream is to play in a movie alongside Kevin Bacon.

Accepted proposals

• project Higher-Ranked Polyvariance Explored, one Ph D student in the NWO Free Competition (round Autumn 2011).
• project on Future Internet Testing, accepted 2010 (together with Wishnu Prasetya and many others). One PhD student and a scientific programmer on log-based testing (Ph D candidate Alexander Elyasov).
• project on Service Extraction from Decomposed Software Monoliths in the Financial Domain (ServiciFi) (NWO Jacquard 5th round, 2010). Two Ph D students, supervised together with Slinger Jansen. (Ph D candidates Amir Saeidi and Ravi Khadka).
• project on Scriptable Compilers (NWO Open Competition Spring 2004) (Ph D candidate Stefan Holdermans).

Current and future activities

• PC member of PEPM 2013, a satellite event of POPL 2013, to be held in Rome 2013
• PC member of the IPA Fall Days 2012
• PC member of the Haskell Symposium, 2012, to be held in Copenhagen, Denmark.
• PC member, co-chair and co-editor of IFL 2011, Lawrence, KS, USA.
• Reviewer for Mathematical Reviews, a division of the American Mathematical Society.

Here are some of my older activities.

Collaborations

In my work I collaborate with the following people, universities, institutes and companies

• Tiago Alves and Joost Visser of the Software Improvement Group (SIG) in Amsterdam.
• Johan Nordlander of the Computer Science and Electrical Engineering Department at Luleå University of Technology in Sweden (and currently also of Chalmers, Gothenburg).
• Nikè van Vugt of the Open Universiteit Nederland
• Stefan Holdermans and Alexey Rodriguez at Vector Fabrics

Education

I am the main responsible for

• Automatic Program Analysis (Master COSC)

This year I am also involved in

• Netwerken (Bachelor Informatica)
• Software Project (Bachelor Informatica)
• Enterprise Architecture (Master MBI)
• Systeemontwikkeling: methoden en management (Bachelor Informatiekunde)
• Introductieproject Gametechnologie (Bachelor Informatica, track Gametechnologie)

I assist students in preparing for their colloquium talk, do an Experimentation Project, or do a Master project.

I have been involved in numerous other courses. Here is an overview.

Committees

I am currently member of the following (inter)national committee(s):

• Steering Committee of the International Symposium on Implementation and Application of Functional Languages (IFL)
• Education Committee of the IPA research school.

I am currently member of the following local committee(s):

• Onderdeelscommissie (chair): advises the head of the department and has a voice in the faculty advisory organ.