Freek Wiedijk
Original record- Institution
- Universiteit van Amsterdam
- Year
- 1991
- Country
- Netherlands
- MGP identifier
- 101172
Dissertation: Persistence in Algebraic Specifications
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Paul KlintTechnische Universiteit Eindhoven · 1982
- Johannes (Jan) Aldert BergstraUniversiteit Utrecht · 1976
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Dan Daniil Frumin | Radboud Universiteit Nijmegen | 2021 | 0 |
| Cezary Kaliszyk | Radboud Universiteit Nijmegen | 2009 | 4 |
| Robbert Jan Krebbers | Radboud Universiteit Nijmegen | 2015 | 5 |