Web Home

Hage
<table width="100%">
<tr>
<td valign="top">
-------+++ Coordinates
   * Assistant professor 
   * [[Center.WebHome][Center for Software Technology]]
   * [[http://www.cs.uu.nl/][Department of Information and Computing Sciences]]
   * [[http://www.uu.nl/][Utrecht University]]
   * Utrecht, The Netherlands ([[http://www.timeanddate.com/worldclock/custom.html?cities=16][CEST/CET]])
   * Email: [[mailto:J.Hage@uu.nl][J.Hage@uu.nl]] 
   * [[Address][Address information]]
   * On-line presence at [[http://nl.linkedin.com/pub/jurriaan-hage/1/a23/817][Linked In]], [[http://www.facebook.com/jurriaan.hage][Facebook]], 
   [[http://scholar.google.nl/citations?user=CIVjbcwAAAAJ][Google Scholar]], and [[http://www.informatik.uni-trier.de/~ley/pers/hd/h/Hage:Jurriaan.html][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: [[http://www.pros.upv.es/fittest/][Future Internet Testing]] on testing and  [[http://www.servicifi.org/][ServiciFi]] on software analysis in the context of  SOA 
   * The [[Helium.WebHome][Helium]] compiler
   * [[SwitchingClasses][Switching classes]]: a sideline from my Ph D period. As a result of that work, my Erd&ouml;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). You can now apply for this position
     (until June 20th 2013) [[http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=583630][Go There]]
   * project _Higher-Ranked Polyvariance Explored_, one Ph D student in the NWO Free Competition (round Autumn 2011). Appointed !PhD student is [[http://www.cs.uu.nl/staff/koot.html][Ruud Koot]].
   * project on [[http://www.pros.upv.es/fittest/][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 [[http://www.cs.uu.nl/staff/elyasov.html][Alexander Elyasov]]).
   * project on _Service Extraction from Decomposed Software Monoliths in the Financial Domain_ ([[http://www.servicifi.org/][ServiciFi]]) (NWO Jacquard 5th round, 2010). Two Ph D students, supervised together with Slinger Jansen. (Ph D candidates [[http://www.cs.uu.nl/staff/amir.html][Amir Saeidi]] and [[http://www.staff.science.uu.nl/~khadk101/][Ravi Khadka]]).
   * project on _Scriptable Compilers_ (NWO Open Competition Spring 2004)

---+++ Current and future activities
  
   * General Chair of [[http://www.cs.uu.nl/wiki/TFP2014/WebHome][TFP 2014]], to be held in the Netherlands
   * PC co-Chair of [[http://www.program-transformation.org/][PEPM 2014]], usually co-located with POPL 2014, San Diego, USA.
   * PC member of [[http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/][TFP 2013]], to be held in Salt Lake City, USA.
   * Publicity Chair of the <a href="http://www.ifl-workshops.org">IFL Symposia</a> (since September 2012)
   * Reviewer for [[http://www.ams.org/mathscinet][Mathematical Reviews]], a division of the American Mathematical Society.
   * Reviewer for [[http://www.zentralblatt-math.org/zbmath/][Zentralblatt-math]]

   Here are some of my [[older activities]].

---++++ Collaborations

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

   * [[http://wiki.di.uminho.pt/twiki/bin/view/Personal/Tiago/][Tiago Alves]], Eric Bouwers and [[http://wiki.di.uminho.pt/twiki/bin/view/Personal/Joost/][Joost Visser]] of the [[http://www.sig.nl][Software Improvement Group (SIG)]] in Amsterdam.
   * Nik&egrave; van Vugt of the [[http://www.ou.nl/][Open Universiteit Nederland]]
   * Stefan Holdermans and Alexey Rodriguez at [[http://www.vectorfabrics.com][Vector Fabrics]]
<!--   * [[][Simon Peyton Jones and the GHC team]] at Microsoft Research, Cambridge, UK. -->
<!--   * [[http://www.cs.kent.ac.uk/people/staff/sjt/][Simon Thompson]] and Sally Fincher of the [[http://www.cs.kent.ac.uk/][Computing Lab at the University of Kent]] in the UK. -->
<!--    * [[http://www.csee.ltu.se/~nordland/][Johan Nordlander]] of the 
     [[http://www.csee.ltu.se/][Computer Science and Electrical Engineering Department at Lule&aring; University of Technology]] in Sweden (and currently also of Chalmers, Gothenburg). -->

-------+++ Education

   I am the main responsible for
   * [[Apa.WebHome][Automatic Program Analysis]] (Master COSC)
   * [[http://www.cs.uu.nl/education/vak.php?stijl=2&vak=INFOB3SO&jaar=2011][Systeemontwikkeling: methoden en management]] (Bachelor Informatiekunde)

   In course year 2012/13 I am also involved in
   * [[http://www.cs.uu.nl/docs/vakken/sp/][Software Project]] (Bachelor Informatica)
   * [[http://www.cs.uu.nl/education/vak.php?stijl=2&vak=INFOEAR&jaar=2011][Enterprise Architecture]] (Master MBI)

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

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

---+++ Committees

I am currently member of the following (inter)national committee(s):
   * Steering Committee of the [[http://www.tifp.org/][Symposium on Trends in Functional Programming (TFP)]]
   * Steering Committee of the [[http://www.program-transformation.org/][Workshop on Partial Evaluation and Program Manipulation (PEPM)]]
   * Steering Committee of the [[http://www.ifl-workshops.org][International Symposium on Implementation and Application of Functional Languages (IFL)]]
   * Education Committee of the [[http://www.win.tue.nl/ipa/][IPA research school]].

I am currently member of the following local committee(s):
   * [[http://www.cs.uu.nl/wiki/bin/view/OacMastersCs/WebHome][Master OAC]]

<td valign="top" style="margin-left : 20px;">
<center>
 <img src="%ATTACHURLPATH%/Jurriaan.jpg" alt="This is me" width='100' height='130' />
</center>
</td>
</tr>
</table>

<!--
   * Set PREV_SKIN = notitle
-->