Marieke Huisman is a professor in Software Reliability at the University of Twente. She is well-known for her work on program verification of concurrent software. In 2011, she obtained an ERC Starting Grant, which she used to start development of the VerCors verifier, a tool for the verification of concurrent software. Currently, as part of her NWO personal VICI grant Mercedes, she is working on further improving verification techniques, both by enabling the verification of a larger class of properties, and by making verification more automatic. Since 2019 she is SC chair of ETAPS. Besides her scientific work, she also actively works on topics related to diversity, equity and inclusion, as well as science policy. She is currently department chair, as well as a board member of the Dutch national computer science platform. She has been chairing the national working group on equity, diversity, and inclusion in computer science, chaired the advisory board on diversity and inclusion at the University of Twente. Finally, she also is a member of the executive board of VERSEN, the Dutch assocation of software researchers, and chaired this association from 2018 until 2021.
Anton Wijs is an Associate Professor in Parallel Software Development at the Eindhoven University of Technology. His research is focussed on the seam-less embedding of formal verification techniques in Model-Driven Software Engineering. This involves the verification of models and model transformations. He is particularly active in researching the possibilities to accelerate software verification, for instance by using graphics processing units (GPUs). For this research, he has acquired a number of research grants from the Dutch Research Council (NWO). This has led to pioneering work in the GPU acceleration of model checking, both explicit-state and symbolic by means of SAT solving. Since 2018, he is the president of the European Association for Programming Languages and Systems (EAPLS), and he is active in the Steering Committees of various conferences, such as ETAPS, FACS and SPIN. Furthermore, he is active in VERSEN, currently chairing the PhD and MSc award committee, as well as chairing a working group on Post-Master education.