Kees Goossens, Professor

Position

As of January 2010, full-time full professor in Real-Time Embedded Systems
at the Eindhoven University of Technology (TU/e),
in the Electronic Systems group
in the Electrical Engineering faculty.

I regularly visit the Computer Engineering group at the Delft University of Technology for supervision of promovendi and collaboration.

Research Topics

all aspects of networks on chip
- especially the Aethereal Network on Chip (NOC) developed since 2001 by Philips/NXP Research
- network on chip design flows
- hardwired networks on chip in FPGAs
- network on chip as test access mechanism (TAM)
- uses of networks on chip, e.g. for internet router crossbars
- communication protocols
embedded multi-processor systems
- composability (cf. virtualisation), especially of temporal behaviour
- predictability, for real-time applications
- abstraction, especially transaction-based communication-centric debug
memory controllers
reducing complexity
new challenges
- low power for real time applications
- variability in all its aspects
- 3D integration

See the Research and Publication pages for more details.

Much of this research has been performed as part of national and international research projects, including MESA, NEVA, TSAR, COMCAS, SCALOPES, 3DIM3.

All the research is collaboration with MSc and PhD students, postdocs (Andreas Hansson, Anca Molnos, Carlo Galuzzi, Lotfi Mhamdi, Jude Ambrose Angelo), and other researchers at NXP Semiconductors (Bart Vermeulen), Delft university of technology (Sorin Cotofana, Ben Juurlink), and other (Dutch) universities.

Previous Positions

Senior Principal Research Scientist at NXP Semiconductors (formerly Philips) Research (September 1995 to December 2009).
Part-time Adjunct (Full) Professor (Buitengewoon Hoogleraar) at Computer Engineering group at the Delft University of Technology (February 2007 to December 2009).
Post-doctoral positions at the Departamento de Informatica, Universidade Federal de Pernambuco, Brazil, and Dipartimento di Scienze dell'Informazione, Universita di Roma "La Sapienza", Italy (1993-1995).
My PhD in Computer Science is from the Laboratory for Foundations of Computer Science, of the University of Edinburgh, UK (1998-1993). My thesis treated Embedding Hardware Description Languages in Proof Systems, which involved operational semantics for a subset of the ELLA hardware description language, and embedded this semantics in the higher-order-logic proof system Lambda, and proving various properties about the embedded semantics, formal hardware synthesis, and symbolic simulation.
My BSc in Computer Science and Pure Mathematics is from the Computer Science department of the University of Wales, UK (1984-1988).

Previous Research Topics

automated theorem proving for hardware verification. In particular, my PhD thesis describes the embedding of the formal semantics of a hardware description language (ELLA, VHDL, etc.) in the Lambda higher-order logic theorem prover.
high-level hardware synthesis design flow for high-throughput video processing, in particular the Philips Phideo architecture and design flow.
on-chip communication protocols for global (interchannel) resource management, and dynamic reconfiguration.

More information

In increasing information content, but surely out of date:

A respectable passport photograph for work purposes
50 word research biography
120 word research biography
CV