WebHome
Maaike Gerritsen

Students
Name: 
<br>
Email: 
<br>
Homepage: 

----++ Planning

_indicate which courses or other actitivities you plan to take in which period (for convenience links to ST courses have been added; replace if necessary)_

-----+++ 2006-2007

   * %Y% [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2)
      * Topic for paper and presentation: Zippers
      * Advisor: Johan Jeuring

-----++++ Period 1

   * %Y% [[Master.Software Engineering][Software Engineering]]
   * %Y% [[Master.Distributed Object Systems][Distributed Object Systems]]

-----++++ Period 2

   * %Y% [[Master.Implementation of Programming Languages][Implementation of Programming Languages]]
   * %Y% [[Master.Software Architecture][Software Architecture]] 
   
-----++++ Period 3

   * %Y% [[Master.Advanced Functional Programming][Advanced Functional Programming]]
   * %Y% [[Master.Program Verification][Program Verification]] 

-----++++ Period 4

   * [[Master.Generic Programming][Generic Programming]]
   * %Y% Experimentation Project: ICFP Programming Contest 2007

----+++ 2007-2008

Period 1

   * %Y% [[Master.Software Specification][Software Specification]]
   * %Y% [[Master.Type Systems][Seminar Type Systems]]

Period 2

   * [[Master.Efficient Implementation of Functional Languages][Seminar Efficient Implementation of Functional Languages]]
   * (proposal)

-----++ Thesis Project

-----+++ Topic/Area

T2, an automated testing tool for Java.

-----+++ Project

Project title: 
<br>
Advisor: Wishnu Prasetya
<br>
Start date:
<br>
End date:

-----++++ Description

_short description (abstract) of the thesis project; should be accompanied with a 10 page paper outlining the state of the art (literature), objectives, research approach_

-----+++ Thesis