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. 

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop S.P. (Bas) Luttik actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 4 Soortgelijke profielen

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

Onderzoeksoutput

Up-to techniques for branching bisimilarity

Erkens, R., Rot, J. & Luttik, B., 17 jan 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (redactie). Cham: Springer, blz. 285-297 13 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Downloads (Pure)

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

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 1 Citaat (Scopus)
    1 Downloads (Pure)

    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

  • 1 Citaat (Scopus)

    Modelling and analysing software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer Science Reports; vol. 19-05)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
  • 49 Downloads (Pure)

    On series-parallel pomset languages: rationality, context-freeness and automata

    Kappé, T., Brunet, P., Luttik, B., Silva, A. & Zanasi, F., feb 2019, In : Journal of Logic and Algebraic Programming. 103, blz. 130-153 24 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Prijzen

    Best Paper award

    S.P. Luttik (Ontvanger) & Tim A.C. 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