Research

• I participate in several projects, notably the IST project AMETIST, of which I am coordinator
• Please have a look at my list of publications and a list of my coauthors
• Editor of Information and Computation and LMCS
• Member of several program committees
• Supervisor of a number of PhD students

Teaching

• Coordinator of the Embedded Systems Theme
• Instructor of a course on Protocol Validation
• Instructor of a course on Processes and Concurrency

Organization

• Head of the Informatics for Technical Applications group
• Studie-adviseur HBO-doorstroom

Other

• Contact information
• Memberships of professional organizations
• CV
• Kids