Parallelism in software is both a blessing and a curse: if used correctly, it speeds up computations, but also makes them harder to understand.

Anton Wijs is an Associate Professor on Parallel Software Development at the Model-Driven Software Engineering group of Eindhoven University of Technology (TU/e).

Anton works both on the development of parallel software, and the use of parallelism to improve the development process itself. The latter category covers investigating how formal verification techniques, to reason about the functional correctness of systems, can be improved by parallelising the involved computations. In the former category, research is done to identify which types of (formal) analyses are useful to make development of parallel software more insightful and less prone to errors.

His long-term vision is to create a software development workflow in which the developer continuously receives feedback from a development environment that points out flaws and suggests improvements, supporting the entire process from initial design to final product. Anton has co-authored more than 50 scientific papers and articles. He is a board member of EAPLS and a steering committee member of ETAPS. Furthermore, he has been co-chair of SPIN 2016 and the publicity chair of ETAPS 2016, and has acted as chair for various international workshops on related topics.

Anton Wijs promoveerde in de informatica aan de Vrije Universiteit in Amsterdam, Nederland, in 2007, nadat hij gewerkt had als onderzoeker bij het Centrum Wiskunde & Informatica (CWI). Zijn onderzoek ging over de formele verificatie van systeemontwerpen m.b.v. model checking, binnen het NWO TIPSy project. Daarna, van 2007 tot 2009, werkte hij als postdoc bij INRIA Rhône-Alpes in Grenoble, Frankrijk, in het europese EC-MOAN project, waarin model checking toegepast werd om modellen van biologische systemen te analyseren. Van 2009 tot 2014 werkte hij vervolgens als postdoc aan de Technische Universiteit Eindhoven, in het NWO project "Efficient Multi-Core Model Checking". Gedurende de tweede helft van 2014 werkte hij als postdoc aan de RWTH Aachen University in Aken, Duitsland. Sinds 2015 heeft hij gewerkt als Universitair Docent aan de Technische Universiteit Eindhoven, en sinds 2023 is hij daar Universitair Hoofddocent.

Board member of the European Association for Programming Languages and Systems (EAPLS)

Member of the Steering Committee of the European Joint Conferences on Theory & Practice of Software (ETAPS)

Partners in (semi-)industry

Collaboration and joint student supervision with ASML, the Netherlands eScience Center, Stream HPC, SURF, and Codeplay Software Ltd.