Education

Courses

• TAP - Theoretische Aspecten van Programmatuur (in Dutch)
  course catalogue
  role: lecturer
  software: PGA Toolset, PSF Toolkit

• CT - Concurrency Theory
  course catalogue
  role: lab assistant
  software: PGA Toolset, PSF Toolkit

• CSDA - Concurrent System Design by Abstraction
  course catalogue
  role: lecturer
  software: PSF Toolkit

• Webklas Informatica (in Dutch)
  role: website maintainer
  software: PGA Toolset, Web Interface PGA Toolset