Gideon Smeding

Contact

email: gideon.smdng.nl

Planning

2005-2006

Period 1

• Software Engineering
• Software Specification

Period 2

• Software Architecture
• Implementation of Programming Languages

Period 3

• Advanced Functional Programming
• Program Transformation

Period 4

• Automatic Program Analysis
• Generic Programming

2006-2007

Period 1

• Efficient Implementation of Functional Languages
• Feedback Oriented Static Analysis

Thesis Project

An executable operational semantics for Python