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

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Astefanoaei, LacramioaraUniversiteit Leiden2011
Guillen Scholten, JuanUniversiteit Leiden2007
Jacob, JoostUniversiteit Leiden2008
Jaghoori (Jaghouri), MohammadUniversiteit Leiden2010
Kemper, StephanieUniversiteit Leiden2011

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