Bas Luttik
Department / Institute
Group
RESEARCH PROFILE
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.
ACADEMIC BACKGROUND
Bas Luttik received his MSc in Computer Science in 1996 and PhD in Computer Science in 2002 from the University of Amsterdam. The research for his PhD was done under supervision of Jan Friso Groote while I was employed at the Centrum for Wiskunde & Informatica (CWI) in Amsterdam. Before coming to Eindhoven University of Technology, he worked as a Postdoc at the Vrije Universiteit Amsterdam.
Bas is actively involved in projects to innovate education using digital technology. For his course on Logic and Set Theory he recorded over 50 video clips and set up an online course including extensive practice material. Master students can now successfully complete the course entirely by self-study. Furthermore, with funding from the TU/e innovation fund, he initiated a project to develop an online homologation recommendation tool to allow master students through digital tests to identify deficiencies in their bachelor background and present them a recommendation on how to repair those deficiencies. Bas also served on the programme committees of CONCUR, EXPRESS/SOS (co-chair in 2011, 2012, and 2013), TTCS, ICE, YR-CONCUR.
Recent Publications
-
Jos C.M. Baeten,Bas Luttik
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics
Electronic Proceedings in Theoretical Computer Science, EPTCS (2023) -
Bas Luttik
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
(2023) -
Jos C.M. Baeten,Cesare Carissimo,Bas Luttik
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Logical Methods in Computer Science (2023) -
Mark Bouwman,Djurre van der Wal,Bas Luttik,Mariëlle A. Stoelinga,Arend Rensink
A Case in Point
Formal Aspects of Computing (2023) -
Luca Aceto,Valentina Castiglioni,Wan J. Fokkink,Anna Ingólfsdóttir,Bas Luttik
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Transactions on Computational Logic (2022)
Recent Publications
-
Mark Bouwman,Bas Luttik,Tim Willemse
Off-the-shelf automated analysis of liveness properties for just paths
Acta Informatica (2020) -
Mark Bouwman,Bas Luttik,Tim A.C. Willemse
A process algebra with global variables
Electronic Proceedings in Theoretical Computer Science, EPTCS (2020) -
Rick Erkens,Jurriaan Rot,Bas Luttik
Up-to techniques for branching bisimilarity
(2020) -
Jan Friso Groote,Jeroen J.A. Keiren,Bas Luttik,Erik P. de Vink,Tim A.C. Willemse
Modelling and Analysing Software in mCRL2
16th International Conference on Formal Aspects of Component Software, FACS 2019 (2020) -
J.F. Groote,Jeroen J.A. Keiren,Bas Luttik,Erik P. de Vink,Tim A.C. Willemse
Modelling and analysing software in mCRL2
(2019)
Current Educational Activities
Ancillary Activities
No ancillary activities