Supervised Theses

Swierstra
I have been promotor of the following Ph.D. theses:

| *Name*  | *Date*  | *Title*  | *Co-promotor*  |
|Matthijs Kuiper        |1989, Nov 29  |Parallel Attribute Grammar Evaluation| |
|Ernst Lippe              |1992, Okt 19  |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Lippe.pdf][CAMERA: Support for Distributed Cooperative Work]]| |
|Harald Vogt             |1993, Feb 1    |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Vogt.pdf][Higher Order Attribute Grammars]]| |
|Patrick Lentfert        | 1993, Apr 5   |Distributed Hierarchical Algotrithms|  |
|Nico Verwer             |1993, Sep 15  |Abstract Data Conversion| |
|Lex Augusteijn         |1993, Okt 7   |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Augustejn.pdf][Functional programming, Program Transformations and Compiler Construction]]| with Frans Kruzeman-Arets|
|Maarten Pennings    |1994, Nov 25 |[[http://www.cs.uu.nl/docs/research/publication/Theses.html">Generating Incremental Attribute Evaluators]]| |
|Rob Udink                |1995, Sep 15 |<A HREF="http://www.cs.uu.nl/docs/research/publication/Theses.html">Program Refinement in UNITY-like Environments|Joost Kok|
|[[http://www.cs.uu.nl/people/wishnu/][Wishnu Prasetya ]]      |1995, Oct 9   |<A HREF="http://www.cs.uu.nl/docs/research/publication/Theses.html">Mechanically Supported Design of Self-stabilising Algorithms| |
|[[http://www.di.uminho.pt/~jas/][Joao Baptiste Saraiva]]|1999, Dec 9   |<A HREF="http://www.cs.uu.nl/people/doaitse/Papers/Theses/Saraiva.pdf">Purely Functional  Implementation of Attribute Grammars| M.F. Kuiper|
|[[http://www.iti.upv.es/~tanja/][Tanja Ernestina Jozefina Vos]]          |2000, Jan 10|<A HREF="http://www.cs.uu.nl/people/doaitse/Papers/Theses/Vos.pdf">UNITY in Diversity: A Stratified Approach to the Verification Of Distributed Algorithms| with  John-Jules. Meyer|
|[[https://research.microsoft.com/en-us/um/people/daan/][Daan Leijen ]]             |2003, nov 4   | [[http://www.cs.uu.nl/~daan/download/papers/phd-thesis.pdf][The lambda abroad: A Functional Approach to Software Components]]|Erik Meijer|
|[[http://www.cs.uu.nl/people/andres/][Andres Löh ]]             |2004, sep 2 | [[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Andres.pdf][Exploring Generic Haskell]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]]|
|Martijn Schrage  |2004, okt 15 | [[http://igitur-archive.library.uu.nl/dissertations/2004-1115-104001/UUindex.html][Proxima: a presentation-oriented editor for structured documents]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]], Lambert Meertens |
|[[http://www.cs.uu.nl/people/bastiaan/][Bastiaan Heeren ]]             |2005, sep 20| [[http://www.cs.uu.nl/people/doaitse/Papers/Theses/TopQuality.pdf][Top Quality Type Error Messages]]|[[http://www.cs.uu.nl/people/jurriaan][Jurriaan Hage]]|
|[[http://www.cs.uu.nl/people/atze/][Atze Dijkstra ]]             |2005, nov 14| [[http://igitur-archive.library.uu.nl/dissertations/2005-1115-200019/full.pdf][Stepping through Haskell]]| |
|[[http://www.cs.uu.nl/people/eelco/][Eelco Dolstra]]             |2006, Jan 18| [[%ATTACHURL%/phd-thesisDolstra.pdf][The Purely Functional Software Deployment Model]]|[[http://www.cs.uu.nl/people/visser][Eelco Visser]]|
|[[http://martin.bravenboer.name/][Martin Bravenboer]]         | 2008, Jan 21 | [[%ATTACHURL%/phd-thesis-MartinBravenboer.pdf][Exercises in Fee Syntax]]| [[http://www.cs.uu.nl/people/visser][Eelco Visser]]|
|[[mailto:alexey@cs.uu.nl][Alexey Rodriguez Yakushev]] | 2009, May 20 |[[http://igitur-archive.library.uu.nl/dissertations/2009-0518-200422/UUindex.html][Towards Getting Generic Programming Ready for  Prime Time]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]]|
|[[mailto:karina@cs.uu.nl][Karina Olmos]] | 2009, May 27 |[[http://igitur-archive.library.uu.nl/dissertations/2009-0619-200530/UUindex.html][Strategies for Context Sensitive Program Transformation]] | [[http://www.cs.uu.nl/people/visser][Eelco Visser]]|
| Arthur Baars | 2009, Dec 9 | [[http://igitur-archive.library.uu.nl/dissertations/2009-1202-200125/UUindex.html ][Embedded Compilers]] | |
| Arie Middelkoop  | 2012, Jan 9 | [[http://igitur-archive.library.uu.nl/dissertations/2011-1223-200414/UUindex.html][Inference of Program Properties with Attribute Grammars, Revisited]]  | [[http://www.cs.uu.nl/people/atze][Atze Dijkstra]] |
Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	phd-thesis-MartinBravenboer.pdf	manage	1724.5 K	10 Feb 2009 - 17:00	DoaitseSwierstra