Welcome to my personal webpage! Currently, I'm an assistant professor at Eindhoven University of Technology. My research is on model checking, in particular on improving the algorithms to do model checking, with two special focusses: 1) applying modern parallel architectures (with, e.g., multi-core CPUs and general purpose GPUs) to perform the involved computations, and 2) formally verifying model transformations for the correct construction of complex parallel systems. Feel free to have a look at my list of publications and the software tools I develop!

FSA seminar: Slides explaining my proposed assignments can be found here.

For an overview of my work on using Graphics Processing Units to speed up model checking computations see the poster I presented at ETAPS 2014 and GTC 2015, and the poster I presented at GTC Europe 2016. Supplementary material, including presentation slides, can be found on the Publications page.

Technische Universiteit Eindhoven
MetaForum 6.077
Software Engineering & Technology
Faculteit Informatica
Den Dolech 2
5612 AZ Eindhoven
The Netherlands

Postal address:
Technische Universiteit Eindhoven
MetaForum 6.077
Postbus 513
5600 MB Eindhoven
The Netherlands

Function: Researcher

E-mail: A.J.Wijs <apestaartje>
Phone: +31 (0)40 247 3991

Research Interests:

  • Model Checking
  • Verification of Model Transformations
  • (Directed) Explicit State Space Traversal and Generation
  • Distributed / Multi-core / GPGPU / Grid Computing
  • (Timed) Process Algebra


  • AVVA: Accelerated Verification and Verified Acceleration
    (NWO TOP c1): 2018-2022
  • ViGARO: Verified Generation of Parallel Software
    (4TU NIRICT): 01/09/2017 - 01/09/2018
  • GEARS: GPU Enabled Accelerated Reasoning about System designs
    (NWO TOP c2): 2017-2021
  • GPGPU-NIRICT: Performance and Correctness of GPGPU Applications (4TU NIRICT Reconnaissance Topic): 01/01/2016 - 31/12/2017
  • EMC2: Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments
    (ARTEMIS): 2014-2017

Organisational Activities:

Organising Committees:

Steering Committees:

Programme Committees:


  • SET seminar, 2010-present
  • Software Specification 2011-2013, 2017-present
  • Programming 2016-present
  • Programming Methods 2014-present
  • OGO 2.2 Software Specification 2011-2012
  • Software Specification & Architecture 2014-2016
  • DBL Embedded Systems 2015

Former academic functions: