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
• Editor of Information and Computation (now with free online access) and LMCS
• Member of several program committees
• Supervisor of a number of PhD students
• Junior Researcher (PhD) Position Available

Teaching

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

Other

• Contact information
• Memberships of professional organizations
• CV
• Kids
• Radio interview in VPRO Noorderlicht, 4-10-2005
• Het wachten is op de toestandsexplosie, NRC Handelsblad, 11-10-2005 (pdf)
• Slides talk on Qualitative Citation Analysis at SIREN Scientific ICT Research Event, 6-10-2005