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.
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.
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaModComputer Languages, Systems and Structures (2018)
The spurs of D. H. Lehmer : Hamiltonian paths in neighbor-swap graphs of permutationsDesigns, Codes and Cryptography (2017)
3D turtle geometry: artwork, theory, program equivalence and symmetryInternational Journal of Arts and Technology (2010)
A proposal for an IOI syllabusTeaching Mathematics and Computer Science (2006)
Settling multiple debts efficiently : an invitation to computing scienceInformatics in Education (2004)
- Declarative Programming
- Software specification
- Fundamentals of informatics
- Programming methods
- Programming and modelling
- Voorzitter, Stichting Wiskunst Koos Verhoeff
- Verrijkingslessen (wiskunde/informatica) verzorgen; 2 x 45 minuten per week (max. 40 schoolweken per jaar); sinds juni 2004., Basisschool de Bijenkorf, De Koppele 2, Eindhoven
- Lid opgavencommissie; sinds oktober 2005, Stichting Wiskunde Kangoeroe
- Lid van het bestuur, penningmeester; sinds mei 2006, Stichting Nederlandse Wiskunde Olympiade