Personal Web Pages of Stefan Holdermans
About Me
I am a PhD student at the Center for Software Technology of Utrecht University's Department of Information and Computing Sciences. My supervisor is Jurriaan Hage; Doaitse Swierstra is my promotor.
In the past, I went to grammar school at the Johan de Witt-gymnasium in Dordrecht (1992–1998) and I was a Master's student at Utrecht University (1998–2005). Furthermore, I worked as a junior software developer for Unit 4 Agresso in Sliedrecht (2000–2003) and together with a good friend of mine, Joost Ronkes Agerbeek, I ran a small software company called Mimmick (2002–2004).
I can often be found on the #haskell channel at irc.freenode.net. Spare time that is left is mainly spent on playing football for De Zwerver in Kinderdijk.
Research
My research, carried out under the auspices of the Institute for Programming Research and Algorithmics, is financed by the Netherlands Organisation for Scientific Research and is part of the project on Scriptable Compilers, also known as Top. At its broadest, Top is a framework for defining program analyses in terms of abstract interpretations. Its main focus is on providing good feedback in case an analysis fails.
The Top approach is already successfully applied to type inferencing for higher-order polymorphic functional languages, such as Haskell. Currently, we are investigating how other analyses can be formulated in our framework as well and if this requires adaption or extension of the framework.
Education
This academic year (2006–2007), I am a teaching assistant in the following courses:
| September 6–November 10, 2006 | Imperatief programmeren, |
| February 5–April 20, 2007 | Functioneel programmeren. |
I am also supervising a project at the seminar on Feedback-oriented static analysis.
Last year (2005–2006) I was involved in the course on Functioneel programmeren.
Contact
| E-mail: | stefan@cs.uu.nl |
| Telephone: | +31 (30) 253 32 61 |
| Fax: | +31 (30) 251 37 91 |
| Room: | CGN-B109 |