Mark van Wijk

About

I am a PhD candidate in the Formal Methods and Tools (FMT) group at the University of Twente, supervised by Arnd Hartmanns. My research focuses on probabilistic model checking, with a particular interest in multi-objective model checking.

Before my PhD, I completed an MSc in Computer Science and a BSc in Technical Computer Science, both at the University of Twente. My MSc thesis focused on the state of multi-objective model checking algorithms and tools.

Publications

• 2026

  Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling

  Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk

  QEST+FORMATS 2026, Liverpool, UK (to appear)

  arXiv
• 2026

  Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking

  Arnd Hartmanns, Tim Quatmann, Mark van Wijk

  FM 2026, Tokyo, Japan

  Springer
• 2024

  The State of Multi-Objective Model Checking

  Mark van Wijk

  MSc Thesis, Computer Science, University of Twente

  UT Thesis Repository
• 2022

  The Quest for the Best Thread-Safe Java List

  Mark van Wijk

  BSc Thesis, Technical Computer Science, University of Twente

  UT Thesis Repository

Supervision

• 2026

  Replicating “Bisection Value Iteration” By Lu and Xu

  Aakash Huilgol

  MSc Thesis, Computer Science, University of Twente

  UT Thesis Repository
• 2025

  Safe Rounding for Optimistic Value Iteration in Probabilistic Model Checking

  Ion Tulei

  BSc Thesis, Computer Science, University of Twente

  UT Thesis Repository

Academic Service

Artifact Evaluation Committee member:

• 2025

  iFM

• 2025

  QEST+FORMATS

Reviewer:

• 2025

  Science of Computer Programming

Subreviewer:

• 2026

  QEST+FORMATS

• 2026

  FM

• 2026

  TACAS

• 2025

  QEST+FORMATS

Contact