Projects per year
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 of 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 obtained his PhD in Computer Science from VU Amsterdam in 2007, The Netherlands, after having worked as a researcher at the Centrum Wiskunde & Informatica (CWI). His research was on formal verification of system designs using model checking, in the NWO TIPSy project. After that, from 2007 to 2009, he worked as a postdoc at INRIA Rhône-Alpes in Grenoble, France, in the European EC-MOAN project, in which model checking was applied to analyze models of biological systems. From 2009 to 2014, he subsequently worked as a postdoc at the Eindhoven University of Technology, in the NWO Efficient Multi-Core Model Checking project. During the second half of 2014, he worked at RWTH Aachen University in Aachen, Germany, as a postdoc. Since 2015, he has been working as an Assistant Professor at Eindhoven University of Technology, and since 2023, he is an Associate Professor at this university.
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, SURFsara, and Codeplay Software Ltd.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Dive into details
Select a country/territory to view shared publications and projects
Wijs, A. & Osama, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). p. 684-703 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-reviewOpen Access
Osama, M., Wijs, A. & Biere, A., 2023, (Accepted/In press) In: Formal Methods in System Design. XX, X
Research output: Contribution to journal › Article › Academic › peer-reviewOpen Access
Huisman, M. & Wijs, A., 2023, Springer. 234 p. (Texts in Computer Science)
Research output: Book/Report › Book › Academic
Wijs, A. & Osama, M., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). p. 188-197 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
van Eerd, J., Groote, J. F., Hijma, P., Martens, J., Osama, M. & Wijs, A., Jan 2023, In: Science of Computer Programming. 225, 19 p., 102910.
Research output: Contribution to journal › Article › Academic › peer-reviewOpen AccessFile
Şakar, Ö. (Creator), Safari, M. (Creator), Huisman, M. (Creator) & Wijs, A. J. (Creator), 4TU.Centre for Research Data, 26 Nov 2021
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, J. W. (Contributor), Wijs, A. J. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2018
Wijs, Anton J. (Recipient), 22 Apr 2022
Prize: Other › Scholarships › Scientific
Wijs, Anton J. (Recipient), 18 Jul 2022
Prize: NWO › Other › Scientific