Welcome to my homepage. I am an associate professor at the Electronic Systems Group, faculty of Electrical Engineering of the Eindhoven University of Technology. I am also a research fellow at the Embedded Systems Institute in Eindhoven. My research interests include formal techniques for the specification, design and implementation of hardware/software systems. In this context I participate in Artist, the Network of Excellence on Embedded Systems Design, in the Execution Platforms cluster.