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
• On-line presence at Linked In, Facebook, Google Scholar, and DBLP

Research interests

• Static analysis including:
  • type and effect systems for (lazy) functional languages
  • feedback oriented static analysis with a focus on functional languages
  • type error diagnosis for EDSLs
  • soft typing for dynamic languages
• Also involved in two research projects: Future Internet Testing on testing and ServiciFi on software analysis in the context of SOA
• 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.
• Some hobbies:
  • plagiarism detection with Marble

Accepted proposals

• project DOMain-Specific Type Error Diagnosis (DOMSTED), one Ph D student in the NWO Free Competition (round Autumn 2012).
• project Higher-Ranked Polyvariance Explored, one Ph D student in the NWO Free Competition (round Autumn 2011). Appointed PhD student is Ruud Koot.
• 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)

Current and future activities

• General Chair of TFP 2014, to be held in the Netherlands
• PC co-Chair of PEPM 2014, usually co-located with POPL 2014, San Diego, USA.
• PC member of TFP 2013, to be held in Salt Lake City, USA.
• Publicity Chair of the IFL Symposia (since September 2012)
• Reviewer for Mathematical Reviews, a division of the American Mathematical Society.
• Reviewer for Zentralblatt-math

Here are some of my older activities.

Collaborations

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

• Tiago Alves, Eric Bouwers and Joost Visser of the Software Improvement Group (SIG) in Amsterdam.
• 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)
• Systeemontwikkeling: methoden en management (Bachelor Informatiekunde)

In course year 2012/13 I am also involved in

• Software Project (Bachelor Informatica)
• Enterprise Architecture (Master MBI)

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 Workshop on Partial Evaluation and Program Manipulation (PEPM)
• 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):

• Master OAC