Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

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 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 (the project is ongoing). Bas also served on the programme committees of CONCUR, EXPRESS/SOS (co-chair in 2011, 2012, and 2013), TTCS, ICE, YR-CONCUR. 

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput 1997 2019

Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence

Fokkink, W. J., van Glabbeek, R. & Luttik, B., 24 jul 2019, In : Information and Computation. 268, 31 blz., 104435

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Preservation
Congruence
Divides
Divergence
Semantics

Formal modelling and verification of an interlocking using mCRL2

Bouwman, M., Janssen, B. & Luttik, B., 1 jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (redactie). Cham: Springer, blz. 22-39 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Formal Modeling
Formal Verification
Model-based Testing
Formal Model
Model Checking

A theory of executability : with a focus on the expressivity of process calculi

Yang, F., 11 jun 2018, Eindhoven: Technische Universiteit Eindhoven. 161 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand
3 Citaties (Scopus)

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Bartholomeus, M., Luttik, B. & Willemse, T., 1 jan 2018, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Howar, F. & Barnat, J. (redactie). Berlin: Springer, blz. 98-114 17 blz. (Lecture Notes in Computer Science; vol. 11119)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Specification
Specifications
Process Algebra
Global system for mobile communications
Railway

An analysis of the benefits of EULYNX-style requirements modeling for ProRail

Bui, N. L., 28 sep 2017, Eindhoven: Technische Universiteit Eindhoven.

Onderzoeksoutput: ScriptiePd Eng ThesisAcademic

Open Access
Bestand
Specifications
Legacy systems
Aerospace industry

Prijzen

Best Paper award

Bas Luttik (Ontvanger) & Tim Willemse (Ontvanger), 4 sep 2018

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Cursussen

EIT_ES entry point

1/09/15 → …

Cursus

EIT_ES exit point

1/09/15 → …

Cursus

ES - Cyber-physical Systems

1/09/15 → …

Cursus

ES - Embedded Networking

1/09/15 → …

Cursus

ES - Embedded Software

1/09/15 → …

Cursus

Scriptie

Accelerating a movie recommender system using VirtualCL on a heterogeneous GPU cluster: big data analysis using distributed accelerators

Auteur: Bhatnagar, A., 31 aug 2015

Begeleider: Luttik, S. (Afstudeerdocent 1), Öberg, J. (Externe persoon) (Externe coach), Robino, F. (Externe persoon) (Externe coach), Pieters, R. (Externe persoon) (Externe coach), Pendari, A. (Externe persoon) (Externe coach) & Sanders, I. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Adding sequential composition and termination to the linear time: branching time spectrum

Auteur: Nijland, L., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A model-based test platform for rail signalling systems

Auteur: Bouwman, M., 25 mrt 2019

Begeleider: Luttik, B. (Afstudeerdocent 1) & Janssen, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

An axiomatisation for rooted branching bisimulation with explicit divergence

Auteur: Spaninks, L., 31 aug 2013

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination

Auteur: Belder, A., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand