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 (now with free online access) and LMCS
• Member of several program committees
• Supervisor of a number of PhD students
• For a short description of my research interests see Kennisbank, an article in the newspaper 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

Other

• 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
• Slides talk on Qualitative Citation Analysis at SIREN Scientific ICT Research Event
• Laudatio of Van Wijngaarden Award Recipient Nancy Lynch