Dr. Jurriaan Hage
My current interests and project are automatic program analysis (control
flow analysis, data flow analysis, abstract interpretation, type theory)
and the like. More info can be found here.
In this area a number of Master projects
can be done. Related projects can be done in the form of
An old project is writing a PhD in switching classes.
On this page you can play with a switching applet, see a list of publications
in that area, download the PhD and find errata for the thesis.
I am (partly) responsible for the following course(s):
In the course year 2002/2003 I participate in
In the course year 2001/2002 I participated in
In the course year 2000/2001 I participated in
© Jurriaan Hage