Marieke Huisman
Original record- Institution
- Katholieke Universiteit Nijmegen
- Year
- 2001
- Country
- Netherlands
- MGP identifier
- 294106
Dissertation: Reasoning about Java program verification in higher order logic with PVS and Isabelle
Advisors 3
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
- Bart P. F. JacobsKatholieke Universiteit Nijmegen · 1991
- Hans MeijerKatholieke Universiteit Nijmegen · 1986
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Afshin Amighi | Universiteit Twente | 2018 | 0 |
| Saeed Darabi | Universiteit Twente | 2018 | 0 |
| Sophie Apollonia Maria Lathouwers | Universiteit Twente | 2023 | 0 |
| Tri Minh Ngo | Universiteit Twente | 2014 | 0 |
| Wytse Hendrikus Marinus Oortwijn | Universiteit Twente | 2019 | 0 |
| Mohsen Safari | Universiteit Twente | 2022 | 0 |
| Marina Zaharieva Stojanovski | Universiteit Twente | 2015 | 0 |