WebHome
Gerben Verburg

Students
Name: Gerben Verburg
<br>
Email: gverburg@cs.uu.nl
<br>
Homepage: 

----++ Planning

-----+++ 2008-2009

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2)

-----++++ Period 2

   * %Y% [[Master.Software Architecture][Software Architecture]] 
   
-----++++ Period 3

   * %Y% [[Master.Advanced Functional Programming][Advanced Functional Programming]]
   * %Y% [[Master.Data Base Architectures][Data Base Architectures]] 

-----++++ Period 4

   * %ICON{choice-no}% [[http://www.cs.uu.nl/education/vak.php?vak=INFOVW&jaar=2008][Virtual Worlds]] (Elective, GMT course)
   * %Y% [[Master.Generic Programming][Generic Programming]]


----+++ 2009-2010

-----++++ Period 1

   * %Y% [[Master.Software Specification][Software Specification]] 
   * %Y% [[http://www.cs.uu.nl/education/vak.php?stijl=2&vak=ECMINFIN&jaar=2009][Financial management]]

-----++++ Period 2

   * [[Master.Compiler Construction][Compiler Construction]]
   * [[Master.Program Verification][Program Verification]]

-----++++ Period 3

   *  [[http://www.cs.uu.nl/education/vak.php?stijl=2&vak=INFOMCV&jaar=2009][Computer Vision]] (GMT Course, Elective)
   *  Experimentation Project

-----++++ Period 4
   *  [[Master.Automatic Program Analysis][Automatic Program Analysis]] 
   *  Preparing colloquium talk

-----+++ 2010-2011

-----++++ Period 1 - 3

   *  Thesis  

-----++ Colloquium

Visited talks: 35

-----++ Thesis Project

-----+++ Topic/Area

_description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation; what _

-----+++ Project

Project title: 
<br>
Advisor: 
<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