Welcome to my homepage !
I am an Associate Professor of the Department of Mathematics and Computer Science of the Eindhoven University of Technology. I am a member of the Formal System Analysis group of the Model Driven Software Engineering Section.
My primary research interests are about the application of formal methods to hardware and software systems. In particular, we are working on hardware verification techniques for on-chip networks and the development of formal models for the verification and certification of separation kernels. Our research is supported by NWO, Intel Corporation, and the European Commision.