Jinfeng Zhu

Name: Jinfeng Zhu
Email: jzhu@cs.uu.nl
Homepage: http://www.cs.uu.nl/wiki/Students/JinfengZhu

Planning

2004-2005

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 1

• Program Correctness
• Functional Programming
• Grammar and Parsing

Period 2

• Software Architecture
• Implementation of Programming Languages

Period 3

• Program Transformation
• Program Verification

Period 4

• Advanced Functional Programming

2005-2006

Period 1

• Software Engineering
• Networked Objects

Period 2

• Programming Environments
• Implementation of Programming Languages

Thesis Project

Topic/Area

_description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation; what _

Project

Project title:
Advisor:
Start date:
End date:

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