Frank Sipke de Boer


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

Click here to see the students ordered by family name.

van Hulst, M.Universiteit Utrecht1995
Pierik, C.Universiteit Antwerpen2006
van Riemsdijk, M.B.Universiteit Utrecht2006
Guillen Scholten, JuanUniversiteit Leiden2007
Jacob, JoostUniversiteit Leiden2008
Jaghoori (Jaghouri), MohammadUniversiteit Leiden2010
Astefanoaei, LacramioaraUniversiteit Leiden2011
Kemper, StephanieUniversiteit Leiden2011
Tinnemeier, NickUniversiteit Utrecht2011

According to our current on-line database, Frank de Boer has 9 students and 9 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.