Kees Goossens has a PhD 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
from 1995 to 2010 on real-time networks on chip for consumer
electronics.  He was part-time full professor at Delft university from
2007 to 2010, and has been full professor at the Eindhoven University
of Technology, researching composable, predictable, low-power embedded
systems, supporting multiple models of computation since then. He
published 4 books, 175+ papers, and 24 patents.