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

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
't Hoen, Pieter JanUniversiteit Leiden2001
Jansen, Jan MartinRadboud Universiteit Nijmegen20101

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.