My work at the

University of Amsterdam

If we knew how it worked, it wouldn't be called research.

The only person who got all his work done by Friday was Robinson Crusoe.

I am a scientific system designer at the Faculty of Science which consist of the departments Astronomy, Biology, Chemistry, Computer Science, Mathematics, and Physics

I'm a member of the section Theory of Computer Science (TCS) of the Institute for Informatics. The TCS is formerly known as the Programming Research Group (PRG).

Current projects

• PSF (Process Specification Formalism)
  • Maintaining the Toolkit for PSF.
  • Reengineering the Toolkit.
  • Autoconfiscation of the Toolkit

• PGA (ProGram Algebra)
  • Developing a Tool-set consisting of projections and simulators.

• TA4SI (Thread Algebra)

• Software Engineering with Process Algebra

Past projects

• System Renovation
  • Building a factory for batch-oriented transformations of Cobol-systems.

Publications and Reports

Sometimes I drink coffee during work.