Pieter Koopman Currently I am Universitair Docent (lecturer) at the department of Software Technology , which is supervised by Rinus Plasmeijer , at the Computing Science Department , of the University of Nijmegen .

---

How to reach me

E-mail	pieter@cs.ru.nl
Phone	+31 24 3652483
Fax	+31 24 3652525
Visiting address	Room HG.02.049 Software Technology Computer Science Department Radboud University Nijmegen Toernooiveld 1  6525 ED, Nijmegen The Netherlands
Surface mail	Dr. Pieter Koopman Computer Science Department  Radboud University Nijmegen Postbus 9010 6500 GL, Nijmegen The Netherlands

---

Research

My research is related to functional programming, especially the functional programming language Clean , and specification languages (look also here ). 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:

• Parser Combinators
• Implicit surfaces
• Gast: a Generic Automatic Software Test-system

---

Teaching

Here is some information about the courses I am involved in. All courses are part of the education of NIII: Nijmeegs Institute voor Informatica en Informatiekunde . All course pages linked below are in Dutch, sorry.

• P21/P22 Imperative programing (Imperatief programmeren) in collaboration with Sjaak Smetsers .
• GPAdvanced programming (Geavanceerd Programmeren) in collaboration with Peter Achten .
• SO1 System development 1 (Systeem Ontwikkeling 1) in collaboration with Paul Frederiks and Peter Achten .
• SO2 System development 2 (Systeem Ontwikkeling 2) in collaboration with Paul Frederiks and Peter Achten .
• IP1 Imperative programing 1 (Inleiding programmeren 1) in collaboration with Sjaak Smetsers and Ger Paulussen .
• IP2 Imperative programing 2 (Inleiding programmeren 2) in collaboration with Sjaak Smetsers and Ger Paulussen .

---

Other interests

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

---