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
Gideon Smeding
Students
---++ Contact *email:* gideon.smdng.nl ---++ Planning -----+++ 2005-2006 Period 1 * [[Master.Software Engineering][Software Engineering]] * [[Master.Software Specification][Software Specification]] Period 2 * [[Master.Software Architecture][Software Architecture]] * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]] Period 3 * [[Master.Advanced Functional Programming][Advanced Functional Programming]] * [[Master.Program Transformation][Program Transformation]] Period 4 * [[Master.Automatic Program Analysis][Automatic Program Analysis]] * [[Master.Generic Programming][Generic Programming]] ----+++ 2006-2007 Period 1 * [[Master.Efficient Implementation of Functional Languages][Efficient Implementation of Functional Languages]] * [[Master.Feedback Oriented Static Analysis][Feedback Oriented Static Analysis]] -----++ Thesis Project [[http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/][An executable operational semantics for Python]]