If you made any changes in Pure these will be visible here soon.

Personal profile

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. 

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1997 2018

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

Yang, F., 11 Jun 2018, Eindhoven: Technische Universiteit Eindhoven. 161 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1 Citation (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. (eds.). Berlin: Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 11119)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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.

Research output: ThesisPd Eng ThesisOther research output

Open Access
File
Specifications
Legacy systems
Aerospace industry
1 Citation (Scopus)

Brzozowski goes concurrent: A Kleene Theorem for pomset languages

Kappé, T., Brunet, P., Luttik, S. P., Silva, A. & Zanasi, F., 2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Meyer, R. & Nestmann, U. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-16 16 p. 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 85)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Kleene Algebra
Automata
Concurrent
Theorem
Language
3 Citations (Scopus)

Divide and congruence III: stability & divergence

Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 85, 16 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Semantics
Decomposition

Prizes

Best Paper award

Bas Luttik (Recipient) & Tim Willemse (Recipient), 4 Sep 2018

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Student theses

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

Author: Bhatnagar, A., 31 Aug 2015

Supervisor: Luttik, S. (Supervisor 1), Öberg, J. (External person) (External coach), Robino, F. (External person) (External coach), Pieters, R. (External person) (External coach), Pendari, A. (External person) (External coach) & Sanders, I. (External person) (External coach)

Student thesis: Master

File

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

Author: Nijland, L., 31 Aug 2018

Supervisor: Luttik, S. (Supervisor 1)

Student thesis: Master

File

An axiomatisation for rooted branching bisimulation with explicit divergence

Author: Spaninks, L., 31 Aug 2013

Supervisor: Luttik, S. (Supervisor 1)

Student thesis: Master

File
File

Expressivity of the Kleene star in process algebras with the empty process

Author: Muller, T., 31 Aug 2009

Supervisor: Luttik, S. (Supervisor 1)

Student thesis: Master

File