WebHome
Armand Gelissen

Students
Name: Armand Gelissen
<br>
Email: a.gelissen@chello.nl
Homepage: 

----++ Planning
Plan voor overstap:

| Onderdeel Oer 2005-2006 | Omvang | Vervanging/Nog te doen                                                       | Omvang |
| Software Architectuur   | 7.5    | Software Architecting + Modeleren                                | 7 |
| Software Engineering    | 7.5    | Software Construction + Process Modelling                        | 8 |
| IPT                     | 7.5    |                                                                  |   |
| ST1                     | 7.5    | Automated Reasoning Prov. with Comp. Assistance                  | 8 |
| ST2                     | 7.5    | Information Security + Cryptographic Systems                     | 8 |
| ST3                     | 7.5    |                                                                  |   |
| Deficientie/Electives   | 15     | Introductiecursus                                                | 15|
| Seminarium 1            | 7.5    | Information Security Technoloy + Interactive Virtual Environments| 8 |
| Seminarium 2            | 7.5    |                                                                  |   |
| Colloquium              | 5      |                                                                  |   |
| Afstuderen              | 40     |                                                                  |   |
      
-----+++ 2005-2006

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2)

Period 1

   * [[Master.Software Engineering][Software Engineering]]
   * [[Master.Program Verification][Program Verification]]
   * [[Master.Software Specification][Software Specification]]

Period 2

   * [[Master.Software Architecture][Software Architecture]] 
   * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]]
   * [[Master.Data Base Architectures][Data Base Architectures]]

Period 3

   * [[Master.Program Transformation][Program Transformation]]
   * [[Master.Advanced Functional Programming][Advanced Functional Programming]]

Period 4

   * [[Master.Distributed Object Systems][Distributed Object Systems]]
   * [[Master.Generic Programming][Generic Programming]]
   * [[Master.AutomaticProgramAnalysis][Automatic Program Analysis]]

----+++ 2006-2007

Period 1

   * [[Master.Networked Objects][Networked Objects]]
   * [[Master.Type Systems][Type Systems]]


Period 2

   * [[Master.Programming Environments][Programming Environments]]
   * [[Master.Software Generation and Configuration][Software Generation and Configuration]]

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