Kees Goossens, Professor
Position
As of January 2010, full-time full professor in Real-Time Embedded Systemsat 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
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
Other Topics
Often I'm just hanging around. At other times, I like to get up for a better view, or to engage in some peer-to-peer communication.
