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 listed in chronological order.

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

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.