Gerbo Engels
Students
Name: Gerbo Engels
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
- Software Technology Colloquium (one meeting each week during year 1 and 2)
- Software Specification (Advanced ST course 1)
- Probabilistic Reasoning (Elective course 1)
- Implementation of Programming Languages (Mandatory ST course 1)
- Data Base Architectures (Seminar 1)
- Program Transformation (Elective course 2)
- Advanced Functional Programming (Advanced ST course 2)
- Distributed Object Systems (Mandatory ST course 2, replacement for Software Arcitecture, done in Bachelor)
- Generic Programming (Advanced ST course 3)
2006-2007
Period 1- Holidays
- Aspect Oriented Programming (Seminar 2)
- Program Verification (Mandatory ST course 3, replacement for Software Engineering, done in Bachelor)
- Software Technology Colloquium: Curry (writing STC paper)
2007-2008
Period 1- Software Technology Colloquium: Curry (STC presentation)
- 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)
Advisor: Doaitse Swierstra, Martijn Schrage
Start date: 17-01-2008
End date:
undefined