Anton J. Wijs

Anton J. Wijs is an Associate Professor at the Eindhoven University of Technology (TU/e), affiliated with the Model-Driven Software Engineering group within the Department of Software Engineering and Technology. His research focuses on parallel software development and leveraging parallelism to enhance formal verification techniques. He holds leadership roles as a Board Member of the European Association for Programming Languages and Systems (EAPLS) and a member of the Steering Committee of ETAPS.

Academic Background: Wijs earned his PhD in Computer Science from VU Amsterdam (2007), followed by postdoc positions at INRIA (France), TU/e, and RWTH Aachen University (Germany). He transitioned to an Assistant Professor role at TU/e in 2015 and became an Associate Professor in 2023.

Research Interests: His work emphasizes scalable verification methodologies using GPUs, formal analysis of concurrent systems, and tools like mCRL2. He collaborates with industry partners such as ASML and Codeplay Software to bridge academic research with practical applications.

Awards & Grants: Notable achievements include the Best Student Paper Award (FACS 2017), the Amazon Research Award (2022), and an NWO grant for GPU-accelerated state space analysis. He co-led the GEARS project (2017–2022), focusing on efficient parallel model checking.

Teaching: Wijs teaches courses on Programming, Program Verification Techniques, and Digital Twins of Medical Devices. He actively supervises students and contributes to international conferences as a program chair and reviewer.