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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Abraham, Erika | Universiteit Leiden | 2005 | 1 |
| Coenen, Jos | Technische Universiteit Eindhoven | 1994 | |
| Engelhardt, Kai | Christian-Albrechts-Universität zu Kiel | 1997 | |
| Fritz, Carsten | Christian-Albrechts-Universität zu Kiel | 2006 | |
| Gerth, Rob | Universiteit Utrecht | 1989 | 4 |
| Hannemann, Ulrich | Universiteit Utrecht | 2000 | |
| Hooman, Jozef | Technische Universiteit Eindhoven | 1991 | 8 |
| Huizing, Cornelis | Technische Universiteit Eindhoven | 1991 | 1 |
| Koymans, Ron | Technische Universiteit Eindhoven | 1989 | |
| Kuiper, Ruurd | Technische Universiteit Eindhoven | 1989 | 3 |
| Kyas, Marcel | Universiteit Leiden | 2006 | |
| Meyer, John-Jules | Vrije Universiteit Amsterdam | 1985 | 145 |
| Stomp, Frank | Technische Universiteit Eindhoven | 1989 | 1 |
| Zhou, Ping | Technische Universiteit Eindhoven | 1993 | |
| Zwiers, Job | Technische Universiteit Eindhoven | 1988 | 5 |
According to our current on-line database, Willem-Paul de Roever has 15 students and 176 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.