You are here: UUCS>Hage Web>WebHome (06 Mar 2014, JurriaanHage)EditAttach

Coordinates

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
    • legacy to SOA migration, software modernization
  • Also involved in the EU-financed Future Internet Testing (FITTEST) project on testing
  • 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.
  • Plagiarism detection with Marble and Holmes

Ph D projects done under my supervision

  • project DOMain-Specific Type Error Diagnosis (DOMSTED), one Ph D student in the NWO Free Competition (round Autumn 2012). Appointed PhD student is Alejandro Serrano Mena.
  • 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) The Ph D candidate for this proposal was Stefan Holdermans
  • Bastiaan Heeren worked on improving type error messages for Haskell 98. He got his Ph D in 2005. You can find him here

Current and future activities

  • General Chair of TFP 2014, to be held in Soesterberg, the Netherlands
  • PC member of TFPIE 2014, co-located with TFP, Soesterberg, the Netherlands
  • PC co-Chair of PEPM 2014, usually co-located with POPL 2014, San Diego, 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

Education

I am the main responsible for

In course year 2013/14 I am also involved in

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

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

This is me

Topic revision: r182 - 06 Mar 2014, JurriaanHage
 

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS? Send feedback