Rate My Professor Bas Luttik

Bas Luttik is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e), where he is a member of the Formal System Analysis research group within Computer Science. He also serves as Program Director for Computer Science and Engineering. Luttik earned his MSc in Computer Science in 1996 and his PhD in Computer Science in 2002 from the University of Amsterdam. His doctoral research was supervised by Jan Friso Groote during his employment at the Centrum Wiskunde & Informatica (CWI) in Amsterdam. Following his PhD, he was a postdoctoral researcher at Vrije Universiteit Amsterdam before joining TU/e. He leads the FormaSig project and is actively involved in educational innovation, including recording over 50 video clips for his Logic and Set Theory course to enable fully self-study online completion and developing an online homologation recommendation tool for master students with funding from the TU/e innovation fund.

Luttik's main research area is concurrency theory, particularly process algebra, providing a mathematical foundation for verifying system behavior. His work focuses on unique parallel decomposition and finite basis problems in process algebra, the integration of concurrency theory with classical automata theory—leading to a theory of executability based on Reactive Turing Machines—and the application of process-algebra-based formal methods to improve system requirements, notably in the railway domain. Key publications include "Non finite axiomatisability of weak bisimulation-based congruences" (Theoretical Computer Science, 2025, with Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir), "Axiomatising weak bisimulation congruences over CCS with left merge and communication merge" (Theoretical Computer Science, 2025, with Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir), "From Bisimulation to Traces" (CONCUR 2025, with Valentina Castiglioni), "Progress, Justness and Fairness in Modal µ-Calculus Formulae" (CONCUR 2024, with Tim A.C. Willemse), "Four Formal Models of IEEE 1394 Link Layer" (2024, with Hubert Garavel), "Sequential Value Passing Yields a Kleene Theorem for Processes" (2024, with Jos C.M. Baeten), and "Off-the-shelf automated analysis of liveness properties for just paths" (Acta Informatica, 2020, with Mark Bouwman and Tim Willemse). In 2018, he received the FMICS Best Paper Award with Tim A.C. Willemse. Luttik has served on program committees for CONCUR, EXPRESS/SOS (co-chair 2011, 2012, 2013), TTCS, ICE, and YR-CONCUR. His research has accumulated 687 citations according to Scopus.