Pieter Koopman

MathSciNet


Ph.D. Katholieke Universiteit Nijmegen 1990 Netherlands
Dissertation: Functional programs as executable specifications
Mathematics Subject Classification: 68—Computer science

Advisor 1: Hendrik Pieter Barendregt
Advisor 2: Marinus M.J. (Rinus) Plasmeijer

Student:

NameSchoolYearDescendants
Jansen, Jan MartinRadboud Universiteit Nijmegen2010

According to our current on-line database, Pieter Koopman has 1 student and 1 descendant.
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.