• 136 Citations
20032019
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 → …

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

Research Output 2003 2019

8 Citations (Scopus)

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

Visualization
Recovery
Vector spaces
Merging
Processing

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
3 Citations (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, 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

Taxonomies
Taxonomy
Correctness
Refinement
Design of Algorithms
4 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 (IEEE), p. 318-327

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

Hardware
Simulators
Materials testing
Lithography
Costs
13 Citations (Scopus)

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

Pattern matching
Taxonomies
Scanning
Finite automata

Courses

Programming

1/09/15 → …

Course

Programming

1/09/12 → …

Course

Programming methods

1/09/12 → …

Course

Software engineering

1/09/1331/08/20

Course

Student theses

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

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

Towards SPARE time: a new taxonomy and toolkit of keyword pattern matching algorithms

Author: Cleophas, L., 31 Aug 2003

Supervisor: Watson, B. (Supervisor 1)

Student thesis: Master

File