You are here
Dr. Pieter Koopman
Currently I am Universitair Docent (assistant Professor) at the Model based System Depatment department of the Institute for Computing and Information Sciences, in the Faculty of Science of the Radboud University Nijmegen, the Netherlands.
My research is related to functional programming, especially the functional programming language Clean, and specification languages. Currently I use functions in Clean as specifications for the automatic test system gast.
Here are some links to subpages about projects I worked on: