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.

pieter

How to reach me

E-mail	`pieter@cs.ru.nl`
Phone	+31 24 3652483
Fax	+31 24 3652525
Visiting address	Room HG.02.616 Heyendaalseweg 135 6525 AJ Nijmegen Model Based Systems Department Faculty of Science Institute for Computing and Information Sciences Radboud University Nijmegen The Netherlands
Surface mail	Dr. Pieter Koopman Faculty of Science Postvak 47 Postbus 9010 6500 GL, Nijmegen The Netherlands

Research

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:

Teaching

Here is some information about the courses I teach. All courses are part of the education of Education Institute for Computing and Information Sciences.

Object Orientation, 1^st year Bachelor Computer Science (together with Sjaak Smetsers)
For this course we use special software:

Visual Paradigm Academic Partner Program provides Radboud University Nijmegen with the use of modeling software including VP-UML for educational purpose.
Algorithms & Datastructures, 2^nd year Bachelor Computer Science (together with Sjaak Smetsers).
Advanced Programming, Master Computer Science (together with Rinus Plasmeijer).
Compiler Construction, Master Computer Science (together with Rinus Plasmeijer and Peter Achten).

Other interests

Archery, hiking. playing Alto Sax (in Dutch).