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

Persoonlijk profiel


“Correctness, efficiency, and elegance are core concerns in software engineering. They are often seen together—or not at all.”

Research profile

Loek Cleophas is an Assistant Professor of Model Driven Software Engineering. His core interests and expertise encompass model-driven software engineering (MDSE) and algorithm engineering. His work in MDSE has varied from developing model-driven virtualizations of high-tech systems, to generation of efficient algorithm toolkits based on taxonomies of proven-to-be-correct algorithms. More recent work focuses on analyzing large collections of models and extracting variability and commonality information from them.

His research in algorithm engineering has focused on pattern matching on text sequences (including natural language text, DNA sequences, and source code), often using finite automata as an efficient (and elegant, and correct) way to represent and process such data. A recent focus in this field is on parallel processing, made possible by multi-core CPUs and networks of computing devices, and made necessary by ever-growing amounts of data.

Academic background

Loek Cleophas obtained both his MSc (with honors) and doctorate in Computer Science and Engineering at TU/e. He has worked in industry in the Netherlands and the United States of America, and at the University of Pretoria, South Africa and Umeå University, Sweden. He has also spent time as a joint researcher between TU Eindhoven and ASML, working on model-driven hardware virtualizations for testing lithography systems. In 2016, Loek was a Visiting Scientist at TU Braunschweig, working on correctness-based approaches for software product line engineering.

He became Assistant Professor at TU/e in 2017, and in 2018 also became Managing Director of the Institute for Programming research and Algorithmics, a Dutch research school. In addition to his work at TU/e, Loek is a research fellow at Stellenbosch University, South Africa, working on joint research and supervising postgrad students.

Affiliated with

·       Managing Director of the Dutch research school Institute for Programming research and Algorithmics (IPA)

·       Stellenbosch University, as a Research Fellow

Partners in (semi-)industry

  • ASML
  • IP Blox

Externe posities

Gastwetenschapper, Technische Universitat Braunschweig

1 jul 201630 jun 2017

Onderzoeker (Forskare), Umeå University

14 sep 201430 jun 2016

Onderzoeker, University of Stellenbosch

1 aug 2014 → …

Vingerafdruk Duik in de onderzoeksthema's waar Loek G.W.A. Cleophas actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Pattern matching Engineering en materiaalwetenschappen
Finite automata Engineering en materiaalwetenschappen
Taxonomies Engineering en materiaalwetenschappen
Trees (mathematics) Engineering en materiaalwetenschappen
Correctness Rekenkunde
Pattern Matching Rekenkunde
MATLAB Engineering en materiaalwetenschappen
Specifications Engineering en materiaalwetenschappen

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

Onderzoeksoutput 2003 2019

10 Citaties (Scopus)
5 Downloads (Pure)

Hierarchical clustering of metamodels for comparative analysis and visualization

Babur, Ö., Cleophas, L. G. W. A. & van den Brand, M. G. J., 2016, Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Loenn, H. (redactie). Dordrecht: Springer, blz. 3-18 (Lecture Notes in Computer Science; vol. 9764).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Vector spaces

A taxonomy of minimisation algorithms for deterministic tree automata

Bjorklund, J. & Cleophas, L., 2016, In : Journal of Universal Computer Science. 22, 2, blz. 180-196

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
3 Citaties (Scopus)

Correctness-by-construction ∧ taxonomies ⇒ deep comprehension of algorithm families

Cleophas, L., Kourie, D. G., Pieterse, V., Schaefer, I. & Watson, B. W., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer, blz. 766-783 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Design of Algorithms
4 Citaties (Scopus)
3 Downloads (Pure)

VPDSL : a DSL for software in the loop simulations covering material flow

Nagy, I., Cleophas, L. G. W. A., Brand, van den, M. G. J., Engelen, L. J. P., Raulea, L. V. & Ernest Mithun, X. L., 2012, Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012, Paris, France, July 18-20, 2012). Piscataway: Institute of Electrical and Electronics Engineers, blz. 318-327

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Materials testing
13 Citaties (Scopus)
2 Downloads (Pure)

A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2010, In : Science of Computer Programming. 75, 11, blz. 1095-1112

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Pattern matching
Finite automata

Activiteiten 2017 2018

  • 3 Workshop, seminar, cursus of expositie

International Workshop on Analytics and Mining of Model Repositories (AMMoRe)

Önder Babur (Organisator), M.R.V. Chaudron (Organisator), Loek Cleophas (Organisator), Davide Di Ruscio (Organisator), Dimitris Kolovos (Organisator)
16 okt 2018

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

Special Session on Model Management and Analytics

Önder Babur (Organisator), Loek Cleophas (Organisator), Bedir Tekinerdogan (Organisator)
23 jan 2018

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

Dutch Symposium on Model Management and Analytics

Önder Babur (Organisator), Bedir Tekinerdogan (Organisator), Loek Cleophas (Organisator), Mark van den Brand (Organisator), M. Aksit (Organisator)
27 okt 2017

Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk



1/09/15 → …


Programming methods

1/09/12 → …


Software engineering




A readiness self-assessment model for low-code development enabled DevOps

Auteur: van der Burgh, D., 27 mei 2019

Begeleider: Ozkan, B. (Afstudeerdocent 1), Cleophas, L. (Afstudeerdocent 2), Beelen, J. J. (Externe persoon) (Externe coach) & Lelivelt, R. (Externe coach)

Scriptie/masterproef: Master

Extending tree pattern matching for application to peephole optimizations

Auteur: van Oirschot, J., 29 apr 2019

Begeleider: Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2), Cleophas, L. (Afstudeerdocent 2) & Lopes, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master


ForestFIRE and FIREWood: a toolkit and GUI for tree algorithms

Auteur: Strolenberg, R., 30 jun 2007

Begeleider: Cleophas, L. (Afstudeerdocent 1) & Hemerik, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Functional safety analysis and safety pattern application on i-CAVE

Auteur: Rood, N., 25 nov 2019

Begeleider: van den Brand, M. G. (Afstudeerdocent 1), Kochanthara, S. (Afstudeerdocent 2) & Cleophas, L. G. (Afstudeerdocent 2)

Scriptie/masterproef: Master


Model analytics for ASML's data and control modeling languages

Auteur: Suresh, A., 17 dec 2018

Begeleider: Cleophas, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master