Kees Goossens received his BSc in computer science from the University of Wales in 1998, 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.  For the past two years, he has worked on networks on chip for consumer electronics systems, where real-time predictability (QoS) and costs are major constraints.