Joost Verhoog

Name: Joost Verhoog
Email: jverhoog@students.cs.uu.nl
Homepage: -

Planning

2003-2004

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

Period 1
SoftwareEngineering	C	Mandatory	7.5	Passed
AdvancedFunctionalProgramming	C	Additional	7.5	Passed
Recht en Informatica	C	Bachelor	7.5	Passed
Period 2
ProgramTransformation	C	Additional	7.5	Passed
SoftwareArchitecture	C	Bachelor	7.5	Passed
Cryptography	C	Substitution	7.5	Passed
Period 3
Generic Programming	C	Master	7.5	Passed
Optimalisering	C	Bachelor	7.5	Skipped
Maat & Integratie (Deel 1)	M	Mandatory	3.25	Skipped
Differentiaalvergelijkingen (Deel 1)	M	Mandatory	3.25	Skipped
Period 4
TypeSystems	C	Additional	7.5	Passed
AutomaticProgramAnalysis	C	Additional	7.5	Passed
ProgramVerification	C	Additional	7.5	Passed
Differentiaalvergelijkingen (Deel 2)	M	Mandatory	3.25	Skipped
Maat & Integratie (Deel 2)	M	Mandatory	3.25	Skipped
Totals
Computer Science Master ST			52.5 / 60
Computer Science Bachelor			15 / 22,5
Mathematics			3.25 / 18.25
Total			70.25 / 93.25

2004-2005

Period 1
Eifl	C	Mandatory	7.5	Passed
Probabilistic Reasoning	C	Choice	7.5	Skipped
Probleemaanpak deel 1	M	Choice	3.75	Finishing up
Complexe functies deel 1	M	Mandatory	3.75	Skipped
Period 2
Esdx	C	Mandatory	7.5	Passed
Probleemaanpak deel 2	M	Choice	3.75	Finishing up
Complexe functies deel 2	M	Mandatory	3.75	Skipped
Period 3
Optimalisering (exam only)	C	Bachelor	7.5	Current

Mathematics

Course	Period	ECTS	Mandatory/Choice
Optimalisering	1+2	7.5	Choice
Maat & Integratie	3+4	7.5	Mandatory
Differentiaalvergelijkingen	3+4	7.5	Mandatory
Speltheorie	3+4	7.5	Choice
Topologie en Meetkunde (exam only)	3+4	7.5	Choice
Discrete Wiskunde	3+4	7.5	Choice
Concrete Meetkunde	3+4	7.5	Choice
Parallelle algoritmen voor supercomputers 2	?	7.5	Choice
Totals
Total mandatory		15
Total choice		45

Already finished choice mathematics courses:

Course	ECTS
Parallelle algoritmen voor supercomputers	7.5
Voorstellingen van eindige groepen	7.5
Totals
Total	15

Total mathematics choice: 48 * 1.43 = 69, done: 15, doing: 7.5, todo: 46.5

Thesis Project

Articles

You can find the articles that I read in read.pdf, and the articles that I plant to read in toberead.pdf

Topic/Area

When I know more, I will place here a description of the area of my thesis project, e.g., compilation, program analysis, generic programming, program transformation

Project

Project title:
Advisor:
Start date:
End date:

Description

When I know more I will place here a 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 etc.

Thesis