If you made any changes in Pure these will be visible here soon.

Personal profile

Quote

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

Research profile

Anton Wijs is an Assistant 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.

Academic background

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 is working as an Assistant Professor at Eindhoven University of Technology.

Affiliated with

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.

Fingerprint Dive into the research topics where Anton J. Wijs is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Model checking Engineering & Materials Science
Model Checking Mathematics
Parallel algorithms Engineering & Materials Science
Graphics Processing Unit Mathematics
Bisimulation Mathematics
Explosions Engineering & Materials Science
Formal Verification Mathematics
Correctness Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2017 2021

GEARS: NWO TOP project GEARS

Wijs, A. J., Wijs, A. J., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research direct

Research Output 2004 2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
Data storage equipment

A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

Testing
Scheduling
1 Citation (Scopus)

Modular indirect push-button formal verification of multi-threaded code generators

Wijs, A. & Wiłkowski, M., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer, p. 410-429 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal Verification
Generator
Java
Equivalence
Verify
11 Downloads (Pure)

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Graphics Processing Unit
Simplification
Satisfiability Problem
Preprocessing
Solvability

Prizes

Best Student Paper Award FACS 2017

Anton Wijs (Recipient) & S.M.J. de Putter (Recipient), 2017

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Courses

CSE - Software Science

1/09/15 → …

Course

Programming

1/09/12 → …

Course

Programming

1/09/15 → …

Course

Program verification techniques

1/09/15 → …

Course

Press / Media

NWO Open Technology Programme grant for Anton Wijs and Marieke Huisman

Anton J. Wijs

23/05/19

1 item of Media coverage

Press/Media: Expert Comment

1st workshop on model checking and automated planning (MOCHAP 2014)

Anton J. Wijs

10/02/14

1 item of Media coverage

Press/Media: Expert Comment

Student theses

Automatically testing semantics preservation in SLCO to Java transformation

Author: Wiłkowski, M., 26 Nov 2019

Supervisor: Wijs, A. (Supervisor 1)

Student thesis: Master

File

Investigating the usefulness of Domain-Specific Transformation Languages

Author: de Graaf, M., 31 May 2016

Supervisor: Wijs, A. (Supervisor 1) & de Putter, S. (Supervisor 2)

Student thesis: Master

File

Model checking using multiple GPUs

Author: Qi, Y., 17 Dec 2018

Supervisor: Wijs, A. (Supervisor 1)

Student thesis: Master

File

On the formal correctness of a model transformation verification technique

Author: de Putter, S., 30 Jun 2014

Supervisor: Wijs, A. (Supervisor 1), Kuiper, R. (Supervisor 2) & Geuvers, J. (Supervisor 2)

Student thesis: Master

File

Parallel term rewriting on GPUs

Author: van Eerd, J., 30 Sep 2019

Supervisor: Groote, J. F. (Supervisor 1), Wijs, A. (Supervisor 2) & Hijma, P. (Supervisor 2)

Student thesis: Master

File