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

Persoonlijk profiel

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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Tom Verhoeff actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

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

Onderzoeksoutput

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, blz. 48-70 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
  • 7 Citaten (Scopus)
    5 Downloads (Pure)

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

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • 35 Downloads (Pure)

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

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 3 Citaten (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, blz. 193-216

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 2 Downloads (Pure)

    Settling multiple debts efficiently : an invitation to computing science

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    483 Downloads (Pure)

    Activiteiten

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

    Tom Verhoeff (Organisator)
    1 jul 1999

    Activiteit: Types deelname aan of organisatie van een evenementCongresWetenschappelijk

    International Olympiad in Informatics, Antalya-Belek, Turkije

    Tom Verhoeff (Adviseur)
    22 apr 1999

    Activiteit: Types adviesConsultancyProfessioneel

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

    Tom Verhoeff (Organisator)
    11 apr 1999

    Activiteit: Types deelname aan of organisatie van een evenementCongresWetenschappelijk

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

    Tom Verhoeff (Organisator)
    8 apr 1999

    Activiteit: Types deelname aan of organisatie van een evenementCongresWetenschappelijk

    Cursussen

    Declarative Programming

    1/09/16 → …

    Cursus

    Fundamentals of informatics

    1/09/1331/08/20

    Cursus

    Programming and modelling

    1/09/12 → …

    Cursus

    Programming methods

    1/09/12 → …

    Cursus

    Scriptie

    A computer search for quasi-cyclic codes

    Auteur: Weijs, S., 31 jul 1997

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

    Scriptie/masterproef: Master

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

    Auteur: van Leeuwen, W. T., 30 nov 2005

    Begeleider: Verhoeff, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    A DES generator for smartcard processors

    Auteur: de Putter, C., 31 aug 1993

    Begeleider: Rem, M. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & IJtsma, J. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    A method for decomposing delay-insensitive circuits

    Auteur: van der Veeken, R., 30 okt 1987

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

    Scriptie/masterproef: Master

    An algorithm that constructs primitive implementations from delay-insensitive specifications

    Auteur: van Engelen, R., 31 aug 1996

    Begeleider: Verhoeff, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master