Frank Sipke de Boer

MathSciNet


Ph.D. Vrije Universiteit Amsterdam 1991 Netherlands
Dissertation: Reasoning about Dynamically Evolving Process Structures: A Proof Theory for the Parallel Object-Oriented Language POOL
Mathematics Subject Classification: 68—Computer science

Advisor: Jaco Willem de Bakker
Advisor 2: Petrus (Pierre) Hubertus Maria America

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

NameSchoolYearDescendants
van Hulst, M.Universiteit Utrecht1995
Hannemann, UlrichUniversiteit Utrecht2000
Hindriks, KoenUniversiteit Utrecht200011
van Eijk, RogierUniversiteit Utrecht20003
de Vries, WiekeUniversiteit Utrecht2002
Abraham, ErikaUniversiteit Leiden20051
Kyas, MarcelUniversiteit Leiden2006
Pierik, C.Universiteit Antwerpen2006
van Riemsdijk, M.B.Universiteit Utrecht20063
Guillen Scholten, JuanUniversiteit Leiden2007
Jacob, JoostUniversiteit Leiden2008
Grüner, AndreasUniversiteit Leiden2010
Jaghoori (Jaghouri), MohammadUniversiteit Leiden20101
Astefanoaei, LacramioaraUniversiteit Leiden2011
Kemper, StephanieUniversiteit Leiden2011
Tinnemeier, NickUniversiteit Utrecht2011
Helvensteijn, MichielUniversiteit Leiden2012
de Gouw, StijnUniversiteit Leiden20133
Grabe, ImmoUniversiteit Leiden2013
Rot, JurriaanRadboud Universiteit Nijmegen20153
Nobakht, BehroozUniversiteit Leiden2016
Bezirgiannis, NikolaosUniversiteit Leiden2018
Azadbakht, KeyvanUniversiteit Leiden2019
Șerbănescu, Vlad-NicolaeUniversiteit Leiden2020
Hiep, Hans-DieterUniversiteit Leiden2024

According to our current on-line database, Frank de Boer has 25 students and 46 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 102987 for the advisor ID.