Bas Luttik is Assistant Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His main area of research is concurrency theory, in particular process algebra, providing a solid and well-understood mathematical foundation for methods and tools to verify system behavior. His research focuses on unique parallel decomposition and finite basis problems in process algebra, and the integration of concurrency theory and classical automata theory. However, he is also interested in the application of process-algebra based formal methods to improve the quality of system requirements, most notably in the railway domain. His research on the integration of concurrency theory and classical automata theory has led to a theory of executability, based on Reactive Turing machines.