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

Profile Picture

Contact

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

[DBLP] [Google Scholar]

2023

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

2022

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

2019

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

2018

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

2017

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

2016

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

2015

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

University of Twente

  • 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]

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