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
Jinfeng Zhu
Students
Name: Jinfeng Zhu <br> Email: jzhu@cs.uu.nl <br> Homepage: http://www.cs.uu.nl/wiki/Students/JinfengZhu ----++ Planning -----+++ 2004-2005 * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2) Period 1 * [[http://www.cs.uu.nl/docs/vakken/pst/0506/pc/index.html][Program Correctness]] * [[http://www.cs.uu.nl/docs/vakken/pst/0506/fp/index.html][Functional Programming]] * [[http://www.cs.uu.nl/docs/vakken/pst/0506/go/index.html][Grammar and Parsing]] Period 2 * [[Master.Software Architecture][Software Architecture]] * [[Master.Implementation of Programming Languages][Implementation of Programming Languages]] Period 3 * [[Master.Program Transformation][Program Transformation]] * [[Master.Program Verification][Program Verification]] Period 4 * [[Master.Advanced Functional Programming][Advanced Functional Programming]] ----+++ 2005-2006 Period 1 * [[Master.Software Engineering][Software Engineering]] * [[Master.Networked Objects][Networked Objects]] Period 2 * [[Master.Programming Environments][Programming Environments]] * [[Master.Implementation of Programming Languages][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: <br> Advisor: <br> Start date: <br> 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