Frank Sipke de Boer
Original record- Institution
- Vrije Universiteit Amsterdam
- Year
- 1991
- Country
- Netherlands
- MGP identifier
- 102987
Dissertation: Reasoning about Dynamically Evolving Process Structures: A Proof Theory for the Parallel Object-Oriented Language POOL
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Petrus (Pierre) Hubertus Maria AmericaVrije Universiteit Amsterdam · 1989
- Jaco Willem de BakkerUniversiteit van Amsterdam · 1967
Students 25
| Name | Institution | Year | Students |
|---|---|---|---|
| Erika Abraham | Universiteit Leiden | 2005 | 1 |
| Lacramioara Astefanoaei | Universiteit Leiden | 2011 | 0 |
| Keyvan Azadbakht | Universiteit Leiden | 2019 | 0 |
| Nikolaos Bezirgiannis | Universiteit Leiden | 2018 | 0 |
| Stijn de Gouw | Universiteit Leiden | 2013 | 3 |
| Wieke de Vries | Universiteit Utrecht | 2002 | 0 |
| Immo Grabe | Universiteit Leiden | 2013 | 0 |
| Andreas Grüner | Universiteit Leiden | 2010 | 0 |
| Juan Visente Guillen Scholten | Universiteit Leiden | 2007 | 0 |
| Ulrich Hannemann | Universiteit Utrecht | 2000 | 0 |
| Michiel Helvensteijn | Universiteit Leiden | 2012 | 0 |
| Hans-Dieter Anton Hiep | Universiteit Leiden | 2024 | 0 |
| Koen V. Hindriks | Universiteit Utrecht | 2000 | 13 |
| Joost Ferdinand Jacob | Universiteit Leiden | 2008 | 0 |
| Mohammad Mahdi Jaghoori (Jaghouri) | Universiteit Leiden | 2010 | 1 |
| Stephanie Kemper | Universiteit Leiden | 2011 | 0 |
| Marcel Kyas | Universiteit Leiden | 2006 | 0 |
| Behrooz Nobakht | Universiteit Leiden | 2016 | 0 |
| C. Pierik | Universiteit Antwerpen | 2006 | 0 |
| Jurriaan Rot | Radboud Universiteit Nijmegen | 2015 | 3 |
| Vlad-Nicolae Șerbănescu | Universiteit Leiden | 2020 | 0 |
| Nick Tinnemeier | Universiteit Utrecht | 2011 | 0 |
| Rogier van Eijk | Universiteit Utrecht | 2000 | 2 |
| M. van Hulst | Universiteit Utrecht | 1995 | 0 |
| M.B. van Riemsdijk | Universiteit Utrecht | 2006 | 3 |