You are here
Dr. Pieter Koopman
Works for Radboud University Nijmegen
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:
WP packages:
Works with
-
Radboud University Nijmegen
-
Radboud University Nijmegen
-
Radboud University Nijmegen