Teaching

Courses

I have been involved in the following bachelor courses:

• Assisted the course 1BB40 Inleiding Programmeren and Software Engineering (IPSE) in the 2005/2006 and 2007/2008 curriculi.
• LaQuSo customer of one of the SEP projects of the 2007/2008 course 2IP35 Software engineering project. The project I have involved in was to construct a Graphical Process Editor (GraPE) for the mCRL2 toolset, of which it is now a part.

I have been involved in the following master course:

• Assisted in the 2003/2004 course RADV (Requirement Analysis, design and verification), taught by Jan Friso Groote. In that course the process algebra µCRL (the predecessor of mCRL2) was introduced.

I have been involved in the following PhD courses:

• Assisted in the Process Algebra & mCRL2 workshop on 19th Januari 2006, which was part of the 2006 Formal Methods Course of the Institute for Programming research and Algorithmics.
• Organised and partly taught the Behaviour Analysis using mCRL2 workshop on 26th June 2008, which was part of the 2008 Formal Methods Course of the Institute for Programming research and Algorithmics.

Supervision of master students

I have supervised the following graduating students:

• Bas Ploeger
• Roger Karis
• Ammar Osaiweran
• Egbert Teeselink