Erik Knoop

Name: Erik Knoop
Email: eknoop@cs.uu.nl
Homepage:

Planning

2002-2003

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

Period 1

• Generic Programming
• Introduction in Software Technology

Period 2

• Software Engineering
• Automatic Program Analysis

Period 3

• Data Base Architectures
• Besliskunde

Period 4

• Program Verification
• Internetprogramming

Period 5

• Distributed Object Systems
• Type Systems

2004-2005

Period 1

• Implementation of UHC
• Thesis proposal

Period 2

• XML application of Generic Programming
• Thesis proposal

Period 3

• Thesis page

Period 4

• Thesis page

Thesis Project

Topic/Area

Extendible records in context of the Utrecht Haskell Compiler (UHC).

Project

Project title: Extendible Records
Advisor: AtzeDijkstra
Start date:
End date:

See for further details my thesis page.