• 667 Citations
1985 …2019
If you made any changes in Pure these will be visible here soon.

Personal profile

Research profile

Tom Verhoeff is Assistant Professor at the Faculty of Mathematics and Computing Science of Eindhoven University of Technology  (TU/e), where he works in the Software Engineering & Technology group, on Model Driven Engineering, especially modeling of semantics. His research focuses on the areas of Software Engineering (SE), Model-Driven Engineering (MDE), in particular theory development and tool support, He teaches about CS in general, data analytics, programming, SE, MDE, algorithms, control systems, theoretical computer science and Logic, set theory and arithmetic. He is also chair of the TU/e High Tech Systems Center NextGen Board.

Academic background

Tom Verhoeff received his MSc and PhD in Technical Science (Mathematics and Computer Sciences) from TU/e. Tom is also involved in activities that aim to promote mathematics and informatics and explores the intersection of mathematics, computing, and the arts, such as the annual Bridges conference. He is board member and treasurer of the Dutch Mathematics Olympiad, Chair of the Koos Verhoeff MathArt foundation, guest lecturer on Informatics at the National Student Academy of Lithuania and Finals Director for the World Finals of the 23rd ACM International Collegiate Programming Contest.

Affiliated with

Fingerprint Dive into the research topics where Tom Verhoeff is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

DSL Engineering & Materials Science
Demonstrations Engineering & Materials Science
Software engineering Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Torsional stress Engineering & Materials Science
Tangram Mathematics
Visualization Engineering & Materials Science
Antiprism Mathematics

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

Research Output 1985 2019

7 Citations (Scopus)
5 Downloads (Pure)

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod

Sutii, A. M., van den Brand, M. G. J. & Verhoeff, T., 1 Jan 2018, In : Computer Languages, Systems and Structures. 51, p. 48-70

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
DSL
Reusability
Computer programming languages
27 Downloads (Pure)

The spurs of D. H. Lehmer : Hamiltonian paths in neighbor-swap graphs of permutations

Verhoeff, T., 2017, In : Designs, Codes and Cryptography. 84, 1, p. 295-310 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Hamiltonians
Hamiltonian path
Swap
Interchanges
Permutation
3 Citations (Scopus)
3 Downloads (Pure)

3D turtle geometry: artwork, theory, program equivalence and symmetry

Verhoeff, T., 2010, In : International Journal of Arts and Technology. 3, 2-3, p. 288-319

Research output: Contribution to journalArticleAcademicpeer-review

Geometry
Equivalence
Turtle
Symmetry
Artwork

A proposal for an IOI syllabus

Verhoeff, T., Horváth, G., Diks, K. & Cormack, G., 2006, In : Teaching Mathematics and Computer Science. 4, 1, p. 193-216

Research output: Contribution to journalArticleAcademicpeer-review

syllabus
science
secondary education
physics
biology

Settling multiple debts efficiently : an invitation to computing science

Verhoeff, T., 2004, In : Informatics in Education. 3, 1, p. 105-126

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File

Activities 1999 1999

Nederlandse Informatica Olympiade, Nederlandse Informatica-Olympiade (NIO), Eindhoven

Tom Verhoeff (Organiser)
1 Jul 1999

Activity: Participating in or organising an event typesConferenceScientific

International Olympiad in Informatics, Antalya-Belek, Turkije

Tom Verhoeff (Advisor)
22 Apr 1999

Activity: Consultancy typesConsultancyProfessional

World Finals ACM International Collegiate Programming Contest, World Finals 1999, Eindhoven

Tom Verhoeff (Organiser)
11 Apr 1999

Activity: Participating in or organising an event typesConferenceScientific

ACM International Collegiate Programming Contest, European Regional Contests. The 1999 ACM World Finals., Eindhoven University of Technology

Tom Verhoeff (Organiser)
8 Apr 1999

Activity: Participating in or organising an event typesConferenceScientific

Courses

Declarative Programming

1/09/16 → …

Course

Fundamentals of informatics

1/09/1331/08/20

Course

Programming and modelling

1/09/12 → …

Course

Programming methods

1/09/12 → …

Course

Student theses

A computer search for quasi-cyclic codes

Author: Weijs, S., 31 Jul 1997

Supervisor: van Tilborg, H. (Supervisor 1), Verhoeff, T. (Supervisor 2) & Aarts, E. (Supervisor 2)

Student thesis: Master

A critical analysis of the IOI grading process: with an application of algorithm taxonomies

Author: van Leeuwen, W. T., 30 Nov 2005

Supervisor: Verhoeff, T. (Supervisor 1)

Student thesis: Master

File

A DES generator for smartcard processors

Author: de Putter, C., 31 Aug 1993

Supervisor: Rem, M. (Supervisor 1), Verhoeff, T. (Supervisor 2) & IJtsma, J. (External person) (Supervisor 2)

Student thesis: Master

A method for decomposing delay-insensitive circuits

Author: van der Veeken, R., 30 Oct 1987

Supervisor: Rem, M. (Supervisor 1), Schols, H. (Supervisor 2) & Verhoeff, T. (Supervisor 2)

Student thesis: Master

An algorithm that constructs primitive implementations from delay-insensitive specifications

Author: van Engelen, R., 31 Aug 1996

Supervisor: Verhoeff, T. (Supervisor 1)

Student thesis: Master