Twan Basten is Full Professor in the Electronic Systems group at Eindhoven University of Technology (TU/e). He researches the design of embedded and cyber-physical systems with a focus on design and synthesis, design-space exploration and computational models. To obtain dependable systems, their design should be model-driven and based on rigorous mathematical foundations.
Basten is and has been involved in several international research projects (FP5-7, H2020, ECSEL), and several Dutch projects (STW, NWO, RVO), also as a project leader. He has served (or is serving) in over 60 technical program committees. He was the Ambient Intelligence co-chair in the DATE 2003 TPC, topic chair in the DATE 2004 and 2005 TPCs, the TPC co-chair for ACSD 2007, TPC chair of MoCC 2008, special session (co-)chair in the DSD 2012 and 2013 TPCs, general chair of IDEA 2016, and CPS track chair of ICT.Open 2019.
He (co)authored 1 book and more than 200 scientific publications, of which seven received a best paper award. He (co)supervised 21 PhD degrees. He is a senior member of the IEEE and a lifetime member of the ACM.
Specialties: computational models, embedded systems, cyber-physical systems, model-driven engineering, dependable systems.
Embedded systems are the heart of our smart society. Computers are disappearing from daily life –becoming invisible and dissolving into objects of everyday use and industrial equipment.”
Twan Basten holds an MSc (1993) and PhD (1998) in Computing Science from Eindhoven University of Technology (TU/e). He took on a position as Assistant Professor at TU/e in 1998, was appointed Associate Professor in 2004 and Full Professor in 2009. In 2013, he became chair of the Electronic Systems group.
Basten has worked as visiting researcher or research fellow at other institutes. At Philips Research from 2000 to 2001, at Carnegie Mellon University (USA) in 2006 and at ESI, nowadays part of TNO, from 2008 onward.
An algebra of Pareto pointsFundamenta Informaticae (2007)
Throughput-buffering trade-off exploration for cyclo-static and synchronous dataflow graphs.IEEE Transactions on Computers (2008)
A fast and scalable multi-dimensional multiple-choice knapsack heuristicACM Transactions on Design Automation of Electronic Systems (2013)
System-scenario-based design of dynamic embedded systemsACM Transactions on Design Automation of Electronic Systems (2009)
Buffer sizing for rate-optimal single-rate data-flow scheduling revisitedIEEE Transactions on Computers (2010)