Willem-Paul de Roever

MathSciNet


Ph.D. Vrije Universiteit Amsterdam 1974 Netherlands
Dissertation: Recursive Program Schemes: Semantics and Proof Theory

Advisor: Jaco Willem de Bakker

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Meyer, John-JulesVrije Universiteit Amsterdam1985143
Zwiers, JobTechnische Universiteit Eindhoven19885
Gerth, RobUniversiteit Utrecht19894
Koymans, RonTechnische Universiteit Eindhoven1989
Kuiper, RuurdTechnische Universiteit Eindhoven19893
Stomp, FrankTechnische Universiteit Eindhoven19891
Hooman, JozefTechnische Universiteit Eindhoven19918
Huizing, CornelisTechnische Universiteit Eindhoven19911
Zhou, PingTechnische Universiteit Eindhoven1993
Coenen, JosTechnische Universiteit Eindhoven1994
Engelhardt, KaiChristian-Albrechts-Universität zu Kiel1997
Hannemann, UlrichUniversiteit Utrecht2000
Abraham, ErikaUniversiteit Leiden20051
Fritz, CarstenChristian-Albrechts-Universität zu Kiel2006
Kyas, MarcelUniversiteit Leiden2006

According to our current on-line database, Willem-Paul de Roever has 15 students and 174 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.