• 158 Citations
20032019

Research output per year

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

Personal profile

Quote

“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

External positions

Visiting Academic (Gastwissenschaftler), Technische Universitat Braunschweig

1 Jul 201630 Jun 2017

Researcher (Forskare), Umeå University

14 Sep 201430 Jun 2016

Research Fellow, University of Stellenbosch

1 Aug 2014 → …

Fingerprint Dive into the research topics where Loek G.W.A. Cleophas is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

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

Research Output

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. (eds.). Dordrecht: Springer, p. 3-18 (Lecture Notes in Computer Science; vol. 9764).

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

  • 10 Citations (Scopus)
    5 Downloads (Pure)

    A taxonomy of minimisation algorithms for deterministic tree automata

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

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File

    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, p. 766-783 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

  • 3 Citations (Scopus)

    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, p. 318-327

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

  • 4 Citations (Scopus)
    3 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, p. 1095-1112

    Research output: Contribution to journalArticleAcademicpeer-review

  • 13 Citations (Scopus)
    2 Downloads (Pure)

    Activities

    • 3 Workshop, seminar, course or exhibition

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

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

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Special Session on Model Management and Analytics

    Önder Babur (Organiser), Loek Cleophas (Organiser), Bedir Tekinerdogan (Organiser)
    23 Jan 2018

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Dutch Symposium on Model Management and Analytics

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

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Courses

    Programming

    1/09/15 → …

    Course

    Programming methods

    1/09/12 → …

    Course

    Software engineering

    1/09/1331/08/20

    Course

    Student theses

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

    Author: van der Burgh, D., 27 May 2019

    Supervisor: Ozkan, B. (Supervisor 1), Cleophas, L. (Supervisor 2), Beelen, J. J. (External person) (External coach) & Lelivelt, R. (External coach)

    Student thesis: Master

    Extending tree pattern matching for application to peephole optimizations

    Author: van Oirschot, J., 29 Apr 2019

    Supervisor: Corporaal, H. (Supervisor 1), Jordans, R. (Supervisor 2), Cleophas, L. (Supervisor 2) & Lopes, N. (External person) (External coach)

    Student thesis: Master

    File

    ForestFIRE and FIREWood: a toolkit and GUI for tree algorithms

    Author: Strolenberg, R., 30 Jun 2007

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

    Student thesis: Master

    File

    Functional safety analysis and safety pattern application on i-CAVE

    Author: Rood, N., 25 Nov 2019

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

    Student thesis: Master

    File

    Model analytics for ASML's data and control modeling languages

    Author: Suresh, A., 17 Dec 2018

    Supervisor: Cleophas, L. (Supervisor 1)

    Student thesis: Master

    File