As an assistant professor in the Formal Methods and
Tools group at the University of Twente I focus on computer science education and research.
My expertise lies in the application and theory of in model-based testing for software reliability
in critical infrastructures, while my research spans a range of topics, including language version
identification and game design.
Teaching is a significant part of my work, and I enjoy delivering courses on programming and
artificial intelligence to a diverse group of students.
I also enjoy mentoring the many talented PhD, MSc, and BSc students, by guiding them through
challenging projects and by coaching them as academic scholars and professionals.
Contact
University of Twente
Office: Zilverling 3070
Email: m.gerhold@utwente.nl
Leveraging deep learning for Python version identificationwith Lola Solovyeva and Vadim Zaytsev -
BENEVOL, 2023[URL]
Computer Aided Content Generation - A Gloomhaven Case Studywith Kristian Tijben -
FDG, 2023 -
[DOI]
Conformance in the Railway Industry: Single-Input-Change
Testing a EULYNX Controllerwith Djurre van der Wal and Mariëlle Stoelinga -
FMICS, 2023 -
[DOI]
Deriving Modernity Signatures for PHP Systems with Static Analysiswith Wouter van den Brink and Vadim Zaytsev -
SCAM, 2022 -
[DOI]
2019
Model-based testing of stochastically timed systemswith Arnd Hartmanns and Mariëlle Stoelinga -
Innovations in Systems and Software Engineering, 2019 -
[DOI]
2018
Model-based testing of probabilistic systemswith Mariëlle Stoelinga -
Formal Aspects of Computing, 2018 -
[DOI]
A Hierarchy of Scheduler Classes for Stochastic Automatawith Pedro R. D'Argenio, Arnd Hartmanns and Sean Sedwards -
FoSSaCS, 2018 -
[DOI]
Model-Based Testing for General Stochastic Timewith Arnd Hartmanns and Mariëlle Stoelinga -
NFM, 2018 -
[DOI]
2017
Model-based testing of Probabilistic Systems with Stochastic Timewith Mariëlle Stoelinga -
TAP@STAF, 2017 -
[DOI]
Winter 2024 -
Programming for Artificial Intelligence(Lecturer) 3 ECs BSc course, part of the Creative Technology Bachelor of Science
Winter 2023 -
Introduction to Programming w/ MATLAB(Lecturer) Part of the Technical Medicine Bachelor of Science
Summer 2021, ..., 2023 -
Introduction to Programming w/ Python(Lecturer) BSc course, part of Semester 2 at the University College Twente (ATLAS)
Summer 2020,.., 2023 -
Art, Impact and Technology(Coordinator) 15 ECs Module, part of the Creative Technology Bachelor of Science
Winter 2019,.., 2023 -
Pearls of Computer Science(Assistant) Part of a 11 ECs BSc course in the Computer Science Bachelor of Science
Winter 2019,.., 2023 -
Artificial Intelligence and Programming Practice(Lecturer) 3 ECs BSc course, part of the Creative Technology Bachelor of Science
Summer 2019,.., 2023 -
Algorithms for Creative Technology(Examiner) 3 ECs BSc course, part of the Creative Technology Bachelor of Science
Summer 2019, 2020 -
Languages and Machines(Assistant) 3.5 ECs BSc course, part of the Computer Science Bachelor of Science
Summer 2019 -
Probabilistic Programming(Assistant) 5 ECs MSc course, part of the Computer Science Master of Science
Winter 2019, ..., 2023 -
Software System Design(Lecturer) Part of the Computer Science Baster of Science
Summer 2015,.., 2018 -
Testing Techniques(Assistant) 5 ECs MSc course, part of the Computer Science Master of Embedded Systems
Winter 2014,.., 2023 -
Introduction to Computer Science and Programming(Examiner) 4 ECs BSc course, part of the Creative Technology Bachelor of Science
Ongoing
PhD Students
Djurre van der Wal -
Title TBD with Arend Rensink and Mariëlle Stoelinga
MSc Students
Lars van Arkel -
Title TBD
Nathan Doornenbal -
Providing information for the implantation of hybrid learning in Dutch pre-vocational secondary education with Angelika Mader and Karen Slotman
BSc Students
Ellis Dijkstra -
Script Sensei with TBD
Emilie van Eps -
TBD with Angelika Mader
Hana Šinković -
TBD with Marcello Gómez Maureira
Joris Koester -
TBD with Alexia Briassouli
Luca Andrei -
TBD with Thérèse Bergsma
Lucas van Koppen -
TBD with Marcello Gómez Maureira
Matthew Jordan -
TBD with Thérèse Bergsma
Robert-Jan Nijhuis -
TBD with Carlos Pérez Arancibia
Sterre Kuijper -
TBD with Marcello Gómez Maureira
Marije Kok -
ObSURFing women’s surfing communities:
Encouragement in the women’s surfing community in Scheveningen. with Thérèse Bergsma
Susanne Fuentes Bongenaar -
Data Physicalization of Real-Time Library Occupancy at the University
of Twente: A Participatory Design Approach with Champika Epa Ranasinghe
Baurzhan Ongarbayev -
Using ICT tools for the social and financial integration of
migrants into local societies with Andreas Kamilaris
Graduated
MSc Students
Stijn Slebos -
Experimental study of a novel RF sensing application for
measuring soluble sugar and electrical conductivity in the tomato plant stem (2023) with Paul Havinga and Jacob Kamminga -
[URL]
Yujie Li -
Testing and Mutation Testing for GPU Kernels (2023) with Marieke Huisman, Ana-Lucia Verbanescu and Ben van Werkhoven -
[URL]
Maaike Keurhorst -
A Closed Domain Question Answering System for a Genetic Counselor within the ECG Family Clinic (2023) with Randy Klaassen and Lorenzo Gatti -
[URL]
Andrei Popa -
Gotta adjust them all! : Dynamic Difficulty Adjustment of
Role-Playing Games Through Procedural Generation of Non-Player Characters (2023) with Robby van Delden, Dennis Reidsma and Vadim Zaytsev -
[URL]
Le Thi Nhi Ha -
Aggregation in probabilistic databases: implemented for DuBio (2022) with Maurice van Keulen and Jan Flokstra -
[URL]
Jenny den Ouden -
A quest for the best automated tests: Estimating software reliability based on Spec Explorer's on-the-fly test results. (2016) with Mariëlle Stoelinga and Jaco van de Pol -
[URL]
BSc Students
Chris Bleeker -
Measuring Code Modernity in Rust (2024) with Vadim Zaytsev[URL]
Benjamin Jansen -
Enabling Predictive Maintenance through Efficient Data Warehousing - A Case Study (2023) with Faizan Ahmed -
[URL]
Cristian Zubcu -
Effect of Normalization Techniques on Modernity Signatures in Source Code Analysis (2023) with Vadim Zaytsev -
[URL]
Martijn van Ooijen -
Designing a Toolkit Based on Playful Learning Aspects to be Used in a Puzzle Route (2023) with Marcello Gómez Maureira -
[URL]
Vladimir Kobzev -
Dia: a Domain Specific Language for Scripted Dialogues and Cutscenes (2023) with Vadim Zaytsev -
[URL]
Jannick Siderius -
Teaching (Tiny)ML using a tangible educational kit (2023) with Marcello Gómez Maureira -
[URL]
Wouter Bollen -
Bloomi: Motivating Older Adults to be Physically Active by Physicalization of Physical Activity Data (2023) with Champika Epa Ranasinghe -
[URL]
Luukas Kiviniemi -
Fraction farm : tangible learning experiences for learning fractions (2023) with Champika Epa Ranasinghe -
[URL]
Kristian Tijben -
Generating Gloomhaven dungeons through evolutionary game design (2023) with Faizan Ahmed -
[URL]
Jonas Hentschel -
Point cloud segmentation via active learning in the context of railway infrastructure (2023) with Faizan Ahmed -
[URL]
Chris Admiraal -
Calculating the modernity of popular python projects (2023) with Vadim Zaytsev -
[URL]
Clara Drăgănuță -
Physicalizing electromagnetic spectrum for tangible learning (2022) with Champika Epa Ranasinghe -
[URL]
Yulin Chen -
GameEvolver: A tool to potentially automatically improve board games (2022) with Faizan Ahmed -
[URL]
Bas van de Weerd -
Using Modern Technology for Combinatorial Boardgame Design and Discovery (2022) with Faizan Ahmed -
[URL]
Wouter van den Brink -
Weighed and found legacy: modernity signatures for PHP systems using static analysis (2022) with Vadim Zaytsev -
[URL]
Berke Güdücü -
Weighted Abstract Syntax Trees for Program Comprehension in Java (2022) with Vadim Zaytsev -
[URL]
Jan Douwe Beekman -
Procedural location generation with weighted attribute grammars (2021) with Vadim Zaytsev -
[URL]
Ruiyuan Li -
Generative Probabilistic Programming in Games: Creating Character Backgrounds Using a Bayesian Network (2021) with Vadim Zaytsev -
[URL]
Journals:Journal of Software: Practice and Experience(2023)
PhD. Thesis
Choice and Chance: Model-based Testing of Stochastic Behaviourunder supervision of Prof. Dr. Mariëlle Stoelinga and Prof. Dr. Jaco van de Pol -
University of Twente, 2018 -
[DOI][PDF]
Master Thesis
Embeddings of Weighted Morrey Spacesunder supervision of Prof. Dr. Dorothee Haroske -
Friedrich Schiller Universität Jena, 2013
Bachelor Thesis
Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spacesunder supervision of Prof. Dr. Dorothee Haroske -
Friedrich Schiller Universität Jena, 2011