Willem-Paul de Roever
Ph.D. Vrije Universiteit Amsterdam 1974
Dissertation:
Recursive Program Schemes: Semantics and Proof Theory
Advisor: Jaco Willem de Bakker
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Meyer, John-Jules | Vrije Universiteit Amsterdam | 1985 | 142 |
| Zwiers, Job | Technische Universiteit Eindhoven | 1988 | 5 |
| Gerth, Rob | Universiteit Utrecht | 1989 | 4 |
| Koymans, Ron | Technische Universiteit Eindhoven | 1989 | |
| Kuiper, Ruurd | Technische Universiteit Eindhoven | 1989 | 3 |
| Stomp, Frank | Technische Universiteit Eindhoven | 1989 | 1 |
| Hooman, Jozef | Technische Universiteit Eindhoven | 1991 | 8 |
| Huizing, Cornelis | Technische Universiteit Eindhoven | 1991 | 1 |
| Zhou, Ping | Technische Universiteit Eindhoven | 1993 | |
| Coenen, Jos | Technische Universiteit Eindhoven | 1994 | |
| Engelhardt, Kai | Christian-Albrechts-Universität zu Kiel | 1997 | |
| Hannemann, Ulrich | Universiteit Utrecht | 2000 | |
| Abraham, Erika | Universiteit Leiden | 2005 | 1 |
| Fritz, Carsten | Christian-Albrechts-Universität zu Kiel | 2006 | |
| Kyas, Marcel | Universiteit Leiden | 2006 |
According to our current on-line database, Willem-Paul de Roever has 15 students and 173 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 66199 for the advisor ID.