He received his M.Sc. and Ph.D. degrees in Computing Science from the Eindhoven University of Technology in 1993 and 1998, respectively. His current research interest is the design of complex, resource-constrained embedded systems, based on a solid mathematical foundation, with a special focus on multiprocessor systems and models of computation. Twan Basten has publications in the areas of system design, models of computation, embedded systems, formal methods, and workflow management. He was the topic chair for ambient intelligence and ubiquitous computing in the program committee of DATE from 2003 till 2005. He can be reached at http://www.es.ele.tue.nl/~tbasten/.