Research

• I participate in several projects
• 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
• Some talks and posters
• Editor of Information and Computation and LMCS
• Member of several program committees and professional organizations
• Supervisor of a number of PhD students
• For popular accounts of my research activities see Kennisbank, an interview in the November'06 issue of CHIP, the winning interview by Mitzi Driever and Sjors Ferwerda in the Meet the Professor contest for students from secondary school, 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

• Mijn inspiratie
• iChallenge
• Contact information
• Member Gebiedsbestuur Exacte Wetenschappen, NWO (committee within Netherlands Organisation for Scientific Research responsible for mathematics, computing science and astronomy)
• CV
• Kids