Reinier Vis

Students

Name: Reinier Vis
Email: reinier@reiniervis.nl
Personal Wiki: intra wiki

Planning

2004-2005

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

Period 1

Period 2

Period 3

Period 4

Advanced Functional Programming

2005-2006

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

Period 1

Period 2

Period 3

Program Transformation
Colloquial Talk

Period 4

Generic Programming
Thesis Proposal

2006-2007

Period 1 & 2

Research and Thesis

Obligations

Deficiencies or Electives (15 ECTS)
Functional Programming (Passed)
Grammars and Parsing (Passed)
Program Correctness (Passed)

Mandatory Courses (22,5 ECTS)
Software Engineering (Passed)
Software Architecture (Passed)
Implementation of Programming Languages (Passed)

Additional ST Courses (22,5 ECTS)
Distributed Object Systems (Passed)
Program Transformation (Passed)
Advanced Functional Programming (Passed)

Seminars (15 ECTS)
Programming Environments (Passed)
Networked Objects (Passed)

Software Technology Colloquium (5 ECTS)
Software Technology Colloquium (30/30) (Passed)
Colloquial Talk: Generating syntax diagrams from EBNF with AG (Passed)

Thesis Proposal (10 ECTS)
Research and Thesis (30 ECTS)
Call-graph analysis of polymorphic constructs in C# sources (Passed)

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