Scientist Research group Embedded Systems Innovation.

Previously, I was a researcher in the Architecture of Information Systems group, where I have worked on system integration and adapter generation within the Poseidon project of the Embedded Systems Institute.

I have obtained my M.Sc. (ir.) degree in the Software Construction group, and my Ph.D. (dr.) degree in the Design and Analysis of Systems group. Afterwards I was a research fellow in the Foundations of Programming group of the School of Computer Science of The University of Nottingham.

My research addresses the development of formal techniques for constructing and reasoning about concurrent systems. In particular my research interests include concurrency, formal methods, methodology, parallel and distributed systems, program and proof construction, and refinement.