Willem-Paul de Roever
Original record- Institution
- Vrije Universiteit Amsterdam
- Year
- 1974
- Country
- Netherlands
- MGP identifier
- 66199
Dissertation: Recursive Program Schemes: Semantics and Proof Theory
Advisor 1
- Jaco Willem de BakkerUniversiteit van Amsterdam · 1967
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Erika Abraham | Universiteit Leiden | 2005 | 1 |
| Jos Coenen | Technische Universiteit Eindhoven | 1994 | 0 |
| Kai Engelhardt | Not recorded | — | 0 |
| Carsten Fritz | Not recorded | — | 0 |
| Rob Tristan Gerth | Universiteit Utrecht | 1989 | 2 |
| Ulrich Hannemann | Universiteit Utrecht | 2000 | 0 |
| Jozef Johannes Maria Hooman | Technische Universiteit Eindhoven | 1991 | 8 |
| Cornelis Huizing | Technische Universiteit Eindhoven | 1991 | 1 |
| Ron Koymans | Technische Universiteit Eindhoven | 1989 | 0 |
| Ruurd Kuiper | Technische Universiteit Eindhoven | 1989 | 3 |
| Marcel Kyas | Universiteit Leiden | 2006 | 0 |
| John-Jules Charles Meyer | Vrije Universiteit Amsterdam | 1985 | 62 |
| Frank Stomp | Technische Universiteit Eindhoven | 1989 | 1 |
| Ping Zhou | Technische Universiteit Eindhoven | 1993 | 0 |
| Job (Jakob) Zwiers | Technische Universiteit Eindhoven | 1988 | 3 |