Kees Goossens received his BSc in computer science from the University of
Wales in 1988, and obtained his PhD from the University of Edinburgh in
1993.  In his thesis he investigated the formal verification of hardware,
in particular by using semi-automated proof systems in conjunction
with formal semantics of hardware description languages such as ELLA
and VHDL.  He continued this work at several other universities before
joining Philips Research in the Netherlands in 1995.  At Philips he
worked on behavioural synthesis for high-throughput video processing,
then on on-chip communication protocols and memory management.  Until
2010, at Philips/NXP Semiconductors Research he led the team that
defined the Aethereal network on chip for consumer electronics, where
real-time performance and low cost are major constraints.  He was also
part-time full professor at the Delft university of technology from
2007 to 2010, and is currently full professor at the Eindhoven
university of technology, where his research focusses on composable
(virtualised), predictable (real-time), low-power embedded systems.