Academics

Until August 2004, I was mostly involved in academic research:

Publications

  • Theses

    • Ph.D. Thesis, "Region-based Program Specialization", electronically published via FreiDok. Universität Freiburg, Germany, October 2002. (note: many results of this thesis, including corrections, have been published in the Information and Computation, TOPLAS and HOSC journal papers listed above.)

    • M.Sc. Thesis, "A Compiler from Standard ML to Java" (in Dutch). Katholieke Universiteit Leuven, Belgium, July 1997

    • Undergraduate Project, A System for the Translation of Temporal Semantics of Dutch Prepositions and Adverbs into a Temporal Logic, (Prolog source code). The University of Manchester, England, May 1996

Teaching

During the summer term of 2004, I taught a graduate course in the Electrical and Computer Engineering department at the University of Waterloo, Canada. The course surveyed a whole range of topics in Meta-Programming Languages, Systems, Applications.

I also tutored and did substitute lecturing for the following courses at the universities of Tuebingen and Freiburg in Germany.