Gerben Verburg

Name: Gerben Verburg
Email: gverburg@cs.uu.nl
Homepage:

Planning

2008-2009

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 2

• Software Architecture

Period 3

• Advanced Functional Programming
• Data Base Architectures

Period 4

• Virtual Worlds (Elective, GMT course)
• Generic Programming

2009-2010

Period 1

• Software Specification
• Financial management

Period 2

• Compiler Construction
• Program Verification

Period 3

• Computer Vision (GMT Course, Elective)
• Experimentation Project

Period 4

• 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:
Advisor:
Start date:
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