Ingmar Vd Steen

Email: isteen@cs.uu.nl

Planning

2007-2008

• Software Technology Colloquium

Period 1

• Software Engineering
• Software Specification

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Advanced Functional Programming (Elective)
• Automatic Program Analysis

Period 4

• Program Verification
• Generic Programming (Elective) / TBA

2008-2009

Period 1

• Seminars: tba

Period 2

• Seminars: tba

Thesis Project

Topic/Area

Description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation...

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