Frank Sipke de Boer
Ph.D. Vrije Universiteit Amsterdam 1991
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Astefanoaei, Lacramioara | Universiteit Leiden | 2011 | |
| Guillen Scholten, Juan | Universiteit Leiden | 2007 | |
| Jacob, Joost | Universiteit Leiden | 2008 | |
| Jaghoori (Jaghouri), Mohammad | Universiteit Leiden | 2010 | |
| Kemper, Stephanie | Universiteit Leiden | 2011 | |
| Pierik, C. | Universiteit Antwerpen | 2006 | |
| Tinnemeier, Nick | Universiteit Utrecht | 2011 | |
| van Hulst, M. | Universiteit Utrecht | 1995 | |
| van Riemsdijk, M.B. | Universiteit Utrecht | 2006 |
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.