Pieter Koopman
Ph.D. Katholieke Universiteit Nijmegen 1990
Dissertation:
Functional programs as executable specifications
Mathematics Subject Classification: 68—Computer science
Advisor 1: Hendrik Pieter Barendregt
Advisor 2: Marinus M.J. (Rinus) Plasmeijer
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| 't Hoen, Pieter Jan | Universiteit Leiden | 2001 | |
| Jansen, Jan Martin | Radboud Universiteit Nijmegen | 2010 | 1 |
According to our current on-line database, Pieter Koopman has 2 students and 3 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 164781 for the advisor ID.