WebHome
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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