You are here

Dr. Pieter Koopman

Personal Website: 

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:

Works with