• 675 Citations
1985 …2020

Research output per year

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.

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

Research Output

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 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
  • 7 Citations (Scopus)
    5 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
  • 32 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

  • 3 Citations (Scopus)
    3 Downloads (Pure)

    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

  • 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

    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