Research Output per year
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
- Esprit Working Group on Asynchronous Circuit Design (ACiD-WG)
- ACiD-WG Technical Management Committee
- WIRE (TUE Mathematics Alumni), ACM (Senior Member), CSTA, IEEE Computer Society, Royal Dutch Mathematical Society (KWG), and NVTI
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 journal › Article › Academic › peer-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 journal › Article › Academic › peer-review
Open Access
File
3D turtle geometry: artwork, theory, program equivalence and symmetry
Verhoeff, T., 2010, In : International Journal of Arts and Technology. 3, 2-3, p. 288-319Research output: Contribution to journal › Article › Academic › peer-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-216Research output: Contribution to journal › Article › Academic › peer-review
Settling multiple debts efficiently : an invitation to computing science
Verhoeff, T., 2004, In : Informatics in Education. 3, 1, p. 105-126Research output: Contribution to journal › Article › Academic › peer-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 types › Conference › Scientific
International Olympiad in Informatics, Antalya-Belek, Turkije
Tom Verhoeff (Advisor)22 Apr 1999
Activity: Consultancy types › Consultancy › Professional
World Finals ACM International Collegiate Programming Contest, World Finals 1999, Eindhoven
Tom Verhoeff (Organiser)11 Apr 1999
Activity: Participating in or organising an event types › Conference › Scientific
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 types › Conference › Scientific
Courses
Student theses
A computer search for quasi-cyclic codes
Author: Weijs, S., 31 Jul 1997Supervisor: 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 2005Supervisor: Verhoeff, T. (Supervisor 1)
Student thesis: Master
File
A DES generator for smartcard processors
Author: de Putter, C., 31 Aug 1993Supervisor: 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 1987Supervisor: 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 1996Supervisor: Verhoeff, T. (Supervisor 1)
Student thesis: Master