WebHome
Gerbo Engels

Students
Name: Gerbo Engels
<br>
Email: gcengels at cs uu nl


----++ Planning

Between parenthesis is what it counts for in the curriculum (2 electives, 3 mandatory courses, 3 advanced ST courses, 2 seminars)

-----+++ 2005-2006

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

Period 1

   * [[Master.Software Specification][Software Specification]] (Advanced ST course 1)
   * [[http://www.cs.uu.nl/education/vak.php?vak=INFOPROB&jaar=2005][Probabilistic Reasoning]] (Elective course 1)

Period 2

   * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]] (Mandatory ST course 1)
   * [[Master.Data Base Architectures][Data Base Architectures]] (Seminar 1)

Period 3

   * [[Master.Program Transformation][Program Transformation]] (Elective course 2)
   * [[Master.Advanced Functional Programming][Advanced Functional Programming]] (Advanced ST course 2)

Period 4

   * [[Master.Distributed Object Systems][Distributed Object Systems]] (Mandatory ST course 2, _replacement for Software Arcitecture, done in Bachelor_)
   * [[Master.Generic Programming][Generic Programming]] (Advanced ST course 3)

----+++ 2006-2007

Period 1

   * Holidays

Period 2

   * [[Master.Aspect Oriented Programming][Aspect Oriented Programming]] (Seminar 2)

Period 3

   * [[Master.Program Verification][Program Verification]] (Mandatory ST course 3, _replacement for Software Engineering, done in Bachelor_)

Period 4
   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]: [[http://www.informatik.uni-kiel.de/~mh/curry/][Curry]] (writing STC paper)


----+++ 2007-2008

Period 1

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]: [[Stc.Curry,ATrulyIntegratedFunctionalLogicLanguage][Curry]] (STC presentation)

Rest

   * Thesis project

-----++ Thesis Project

-----+++ Topic/Area

_description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation; what_
   * Binding Proxima with GHC (??)

-----+++ Project

Project title: =undefined= (Something with calling external compilers from Proxima)
<br>
Advisor:  Doaitse Swierstra, Martijn Schrage
<br>
Start date:  17-01-2008
<br>
End date: =undefined=

-----++++ 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