Kees Goossens received his PhD in Computer Science from the University
of Edinburgh in 1993 on hardware verification using embeddings of
formal semantics of hardware description languages in proof systems.
He worked for Philips/NXP Research from 1995 to 2010 on networks on
chip for consumer electronics, where real-time performance,
predictability, and costs are major constraints.  He was part-time
professor at Delft university from 2007 to 2010, and is now professor
at the Eindhoven university of technology, where his research focusses
on composable (virtualised), predictable (real-time), low-power
embedded systems, supporting multiple models of computation. He
published 2 books, 100+ papers, and 24 patents.