• 674 Citaten
1985 …2019
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 Duik in de onderzoeksthema's waar Tom Verhoeff actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

DSL Engineering en materiaalwetenschappen
Demonstrations Engineering en materiaalwetenschappen
Software engineering Engineering en materiaalwetenschappen
Computer programming languages Engineering en materiaalwetenschappen
Torsional stress Engineering en materiaalwetenschappen
Tangram Rekenkunde
Visualization Engineering en materiaalwetenschappen
Antiprism Rekenkunde

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

Onderzoeksoutput 1985 2019

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
DSL
Reusability
Computer programming languages
29 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, blz. 295-310 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Hamiltonians
Hamiltonian path
Swap
Interchanges
Permutation
3 Citaties (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, blz. 288-319

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 193-216

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 105-126

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand

Activiteiten 1999 1999

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