Bas Luttik

Bas Luttik is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e), with a secondary appointment as an EAISI Foundational Associate Professor. His research focuses on concurrency theory, process algebra, and formal methods applied to railway systems. He holds an MSc and PhD from the University of Amsterdam, followed by postdoctoral work at Vrije Universiteit Amsterdam. His academic contributions include foundational work on parallel decomposition, process algebra semantics, and the integration of concurrency theory with automata theory, notably through the theory of Reactive Turing machines.

Education background:

• MSc Computer Science (1996), University of Amsterdam
• PhD Computer Science (2002), University of Amsterdam (supervised by Jan Friso Groote at CWI)

Research interests emphasize formal verification, process algebra, and practical applications in railway safety. Notable awards include the FMICS Best Paper Award (2018). He teaches courses like Logic and Set Theory, developing innovative digital tools for self-paced learning and homologation recommendation systems. Active in conference organization, he has chaired program committees for EXPRESS/SOS (2011–2013) and contributed to CONCUR, TTCS, and others.

His work bridges theoretical foundations (e.g., bisimulation, executability) with applied systems (e.g., EULYNX railway interfaces). Supervised 30+ students, though specific names are not listed here. Research collaborations span international teams, focusing on concurrency, automata, and formal methods in critical systems.