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
Advisor 2: Petrus (Pierre) Hubertus Maria America
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Abraham, Erika | Universiteit Leiden | 2005 | 1 |
| Astefanoaei, Lacramioara | Universiteit Leiden | 2011 | |
| Azadbakht, Keyvan | Universiteit Leiden | 2019 | |
| Bezirgiannis, Nikolaos | Universiteit Leiden | 2018 | |
| de Gouw, Stijn | Universiteit Leiden | 2013 | 2 |
| de Vries, Wieke | Universiteit Utrecht | 2002 | |
| Grabe, Immo | Universiteit Leiden | 2013 | |
| Grüner, Andreas | Universiteit Leiden | 2010 | |
| Guillen Scholten, Juan | Universiteit Leiden | 2007 | |
| Hannemann, Ulrich | Universiteit Utrecht | 2000 | |
| Helvensteijn, Michiel | Universiteit Leiden | 2012 | |
| Hindriks, Koen | Universiteit Utrecht | 2000 | 11 |
| Jacob, Joost | Universiteit Leiden | 2008 | |
| Jaghoori (Jaghouri), Mohammad | Universiteit Leiden | 2010 | 1 |
| Kemper, Stephanie | Universiteit Leiden | 2011 | |
| Kyas, Marcel | Universiteit Leiden | 2006 | |
| Nobakht, Behrooz | Universiteit Leiden | 2016 | |
| Pierik, C. | Universiteit Antwerpen | 2006 | |
| Rot, Jurriaan | Radboud Universiteit Nijmegen | 2015 | 3 |
| Șerbănescu, Vlad-Nicolae | Universiteit Leiden | 2020 | |
| Tinnemeier, Nick | Universiteit Utrecht | 2011 | |
| van Eijk, Rogier | Universiteit Utrecht | 2000 | 3 |
| van Hulst, M. | Universiteit Utrecht | 1995 | |
| van Riemsdijk, M.B. | Universiteit Utrecht | 2006 | 3 |
According to our current on-line database, Frank de Boer has 24 students and 45 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.