Marcus Gerhold

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 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.

Profile Picture

Contact

University of Twente
Office: Zilverling 3070
Email: m.gerhold@utwente.nl

[DBLP] [Google Scholar]

2024

  • Teaching Assistants as Assessors: An Experience Based Narrative with Faizan Ahmed, Nacir Bouali - CSEDU [DOI]
  • Deriving Modernity Signatures of Codebases with Static Analysis with Chris Admiraal, Wouter van den Brink, Vadim Zaytsev, Cristian Zubcu - Journal of Systems and Software [DOI]
  • The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning with Lola Solovyeva, Vadim Zaytsev - SANER [URL]

2023

  • Reproduction Report for SV-COMP 2023 with Arnd Hartmanns - RRRR [DOI]
  • Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller with Djurre van der Wal, Mariëlle Stoelinga - FMICS [DOI]
  • Computer Aided Content Generation - A Gloomhaven Case Study with Kristian Tijben - FDG [DOI]
  • Leveraging deep learning for Python version identification with Lola Solovyeva, Vadim Zaytsev - BENEVOL [URL]

2022

  • Deriving Modernity Signatures for PHP Systems with Static Analysis with Wouter van den Brink, Vadim Zaytsev - SCAM [DOI]

2019

  • Model-based testing of stochastically timed systems with Arnd Hartmanns, Mariëlle Stoelinga - Innovations in Systems and Software Engineering [DOI]

2018

  • Model-based testing of Probabilistic Systems with Mariëlle Stoelinga - Formal Aspects of Computing [DOI]
  • A Hierarchy of Scheduler Classes for Stochastic Automata with Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards - FoSSaCS [DOI]
  • Model-Based Testing for General Stochastic Time with Arnd Hartmanns, Mariëlle Stoelinga - NFM [DOI]

2017

  • Model-based testing of Probabilistic Systems with Stochastic Time with Mariëlle Stoelinga - TAP@STAF [DOI]

2016

  • Model-based testing of Probabilistic Systems with Mariëlle Stoelinga - FASE [DOI]
  • Model-based testing of stochastic systems with IOCO theory with Mariëlle Stoelinga - A-TEST@SIGSOFT FSE

2015

  • Ioco Theory for Probabilistic Automata with Mariëlle Stoelinga - MBT [DOI]

University of Twente

  • Winter 2024Programming for Artificial Intelligence (Lecturer)
    3 EC BSc course in the Creative Technology Bachelor of Science
  • Winter 2023Introduction to Programming w/ MATLAB (Lecturer)
    Part of a BSc module in the Technical Medicine Bachelor of Science
  • Summer 2021, ..., 2023Introduction to Programming w/ Python (Lecturer)
    BLA Course in the University College Twente (ATLAS) Bachelor of Liberal Arts
  • Summer 2020, ..., 2023Art, Impact and Technology (Coordinator)
    15 EC BSc module in the Creative Technology Bachelor of Science
  • Winter 2019, ..., 2023Pearls of Computer Science (Assistant)
    Part of a 11 EC BSc course in the Computer Science Bachelor of Science
  • Winter 2019, ..., 2023Artificial Intelligence and Programming Practice (Lecturer)
    3 EC BSc course in the Creative Technology Bachelor of Science
  • Summer 2019, ..., 2023Algorithms for Creative Technology (Examiner)
    3 EC BSc course in the Creative Technology Bachelor of Science
  • Summer 2019, ..., 2020Languages and Machines (Assistant)
    3.5 EC BSc course in the Computer Science Bachelor of Science
  • Summer 2019Probabilistic Programming (Assistant)
    5 EC MSc course in the Computer Science Master of Science
  • Winter 2019, ..., 2023Software System Design (Lecturer)
    Part of the MSc - in the Computer Science Master of Science
  • Summer 2015, ..., 2018Testing Techniques (Assistant)
    5 EC MSc course in the Computer Science Master of Science
  • Winter 2014, ..., 2023Introduction to Computer Science and Programming (Examiner)
    4 EC BSc course in the Creative Technology Bachelor of Science

Ongoing

PhD Students

  • Djurre van der Wal - TBD
    with Arend Rensink and Mariëlle Stoelinga

MSc Students

  • Lars van Arkel - TBD
    with TBD

BSc Students

  • Hana Šinković - AI-based Affective Mirroring in Video Game NPCs (2024)
    with Marcello Gómez Maureira
  • Ellis Dijkstra - Script Sensei : A vector-based algorithm to correct Japanese kanji (2024)
    with Gwenn Englebienne
  • Emilie van Eps - A Machine Learning Approach to Enhance Tack Performance for Alinghi Red Bull Racing (2024)
    with Angelika Mader
  • Luca Andrei - Test Quest: Improving the Onboarding Experience for Novice Dungeons and Dragons Players Through Personalised AI-Generated Content (2024)
    with Thérèse Bergsma
  • Lucas van Koppen - TBD (2024)
    with Marcello Gómez Maureira
  • Matthew Jordan - Retrofitted: Enhancing Immersion in SoloRPGs through Large Language Models (2024)
    with Thérèse Bergsma

Graduated

MSc Students

  • Melike Oğuz - Creating a collaborative Mixed Reality experience (2024)
    with Dennis Reidsma, Elga de Kruyk and Shelly Zanoni [URL]
  • Puck Kemper - Designing Dynamic Digital Environmental Enrichment for Capuchin Monkeys (2024)
    with Robby van Delden and Lisette van den Berg [URL]
  • Nathan Doornenbal - Providing information for the implantation of hybrid learning in Dutch pre-vocational secondary education (2024)
    with Angelika Mader and Karen Slotman [URL]
  • 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 Klaasen 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

  • Robert-Jan Nijhuis - A physics-based cellular automaton model for wildland fire evolution (2024)
    with Carlos Pérez Arancibia [URL]
  • Sterre Kuijper - Design of Urban Parks Using Wave Function Collapse (2024)
    with Marcello Gómez Maureira [URL]
  • Pola Łabędzka - Exploring Roboticness and Applicability of Voices to Social Robots (2024)
    with Khiet Truong, Dragos Balan and Hideki Garcia Goo [URL]
  • Joris Köster - Dynamic Foam Detection in Biogas Digestion Processes through Computer Vision (2024)
    with Alexia Briassouli [URL]
  • Marije Kok - ObSURFing women’s surfing communities: Encouragement in the women’s surfing community in Scheveningen (2024)
    with Thérèse Bergsma [URL]
  • Susanne Fuentes Bongenaar - Data Physicalization of Real-Time Library Occupancy at the University of Twente: A Participatory Design Approach (2024)
    with Champika Epa Ranasinghe [URL]
  • Baurzhan Ongarbayev - Using ICT tools for the social and financial integration of migrants into local societies (2024)
    with Andreas Kamilaris [URL]
  • Haroun Mangal - CPSL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems (2024)
    with Vadim Zaytsev [URL]
  • Selin Mehmed - Domain-Specific Languages for Cyber-Physical Systems : A Survey (2024)
    with Vadim Zaytsev [URL]
  • Aliaksei Kozel - Developing a DSL Design Methodology for CPS Diagnostics (2024)
    with Vadim Zaytsev [URL]
  • Marko Vasylenko - Input Invariants in Fuzz-testing (2024)
    with Vadim Zaytsev [URL]
  • Mark Troicins - Measuring Code Modernity of the C# Language Codebases. (2024)
    with Vadim Zaytsev [URL]
  • 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]
  • Ruijuan Li - Generative Probabilistic Programming in Games: Creating Character Backgrounds Using a Bayesian Network (2021)
    with Vadim Zaytsev [URL]

Committees


Reviewing

Conferences: CONCUR, FMICS, SAC-SVT (2023); FormaliSE (2022);

Journals: Journal of Software: Practice and Experience (2023)

PhD. Thesis

  • Choice and Chance: Model-based Testing of Stochastic Behaviour under 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 Spaces under supervision of Prof. Dr. Dorothee Haroske - Friedrich Schiller Universität Jena, 2013

Bachelor Thesis

  • Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces under supervision of Prof. Dr. Dorothee Haroske - Friedrich Schiller Universität Jena, 2011