Research

• I participate in several projects, notably the EU project AMETIST, of which I am coordinator
• Please have a look at my list of publications and a list of my coauthors
• My book on the Theory of Timed I/O Automata just appeared
• Editor of Information and Computation and LMCS
• Member of several program committees
• Supervisor of a number of PhD students
• For popular accounts of my research activities see Kennisbank, an interview in the November issue of CHIP, a recent paper that I wrote for Bits & Chips, an article in NRC Handelsblad (pdf), or listen to an interview on VPRO radio (all in Dutch)

Teaching

• Instructor of a course on Processes and Concurrency
• Instructor of a course on Analysis of Embedded Systems
• Coordinator of the Embedded Systems Theme
• Afstuderen

Other

• Job opening: assistent professorship
• Contact information
• Member Gebiedsbestuur Exacte Wetenschappen, NWO (subcommittee of Dutch Science Research Council responsible for mathematics, computing science and astronomy)
• Memberships of professional organizations
• CV
• Kids