Maaike Gerritsen

Name:
Email:
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

• Software Technology Colloquium (one meeting each week during year 1 and 2)
  • Topic for paper and presentation: Zippers
  • Advisor: Johan Jeuring

Period 1

• Software Engineering
• Distributed Object Systems

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Advanced Functional Programming
• Program Verification

Period 4

• Generic Programming
• Experimentation Project: ICFP Programming Contest 2007

2007-2008

Period 1

• Software Specification
• Seminar Type Systems

Period 2

• Seminar Efficient Implementation of Functional Languages
• (proposal)

Thesis Project

Topic/Area

T2, an automated testing tool for Java.

Project

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