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 was introduced.

I have been involved in the following PhD courses:

• Assisted in the the course Process Algebra & mCRL2 on 19th Januari 2006, which was part of the IPA Basic Course on Formal Methods 2006.
• Organised and partly taught the course Behaviour Analysis using mCRL2 on 26th June 2008, which was part of the IPA Course on Formal Methods 2008.

Supervision of master students

I have supervised the following graduating students:

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