Personal Web Pages of Stefan Holdermans
About Me
I am a PhD candidate at the Center for Software Technology of Utrecht University's Department of Information and Computing Sciences. My PhD work is supervised by 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 the Freenode IRC network—where I am known as dblhelix. I am also active on Twitter.
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”.
The main focus of my research is on type-based program analysis and type-driven program transformation. My interests furthermore include functional programming in general and datatype-generic programming in particular.
Teaching
Courses
2008–2009:
INFOFP,
INFOIMP,
INFOMCCO,
INFOMTBPA.
2007–2008:
INFOFP,
INFOIMP,
INFOIPT,
INFOTS.
2006–2007:
INFOFOSA,
INFOFP,
INFOIMP,
2005–2006:
INFOFP.
Research Students
- Jeroen Weijers. Feedback oriented security analysis. (With Jurriaan Hage.)
Former research students:
- Kasper Brink. Dependently typed grammar transformations, 2009. (With Andres Löh.)
- Thomas van Noort. Generic views for generic types, 2008. (With Johan Jeuring and Alexey Rodriguez.)
- Alesya Sheremet. Polyvariant escape analysis, 2008. (With Jurriaan Hage.)
- Guangyu Zhang. Binding-time analysis: Subtyping versus subeffecting, 2008. (With Jurriaan Hage.)
Tutored Students
- Ingmar van der Steen. (Master's Programme Software Technology.)
- Aleš Šturala. (Master's Programme Software Technology.)
Upcoming Events
| March 27–28, 2010 | 10th Workshop on Language Descriptions, Tools, and Applications (LDTA 2010), Paphos, Cyprus |
Contact
| E-mail: | stefan@cs.uu.nl |
| Telephone: | +31 (30) 253 32 61 |
| Fax: | +31 (30) 253 28 04 |
| Room: | CGN-B109 |