Personal profile
Quote
When writing code I'm always focused on finding the right structure, the right interfaces and the right abstractions. For the implementation of algorithms, I consider it essential that first a description in pseudo code is written, at the right level of abstraction. This not only saves time, but it also leads to more maintainable and flexible code.
Research profile
Wieger Wesselink is one of the main developers of the mCRL2 toolset, for modeling, validation and verification of concurrent systems and protocols. He is interested in generic programming techniques and software verification. Wieger originally joined the Department of Mathematics and Computer Science as a scientific programmer. However, since then, he has taken on several lecturing tasks, such as teaching and taking part in research projects.
Academic background
Wieger Wesselink obtained his master's degree in Applied Mathematics at the University of Twente. After completing a PhD about geometric modeling at Eindhoven University of Technology in 1996, Wesselink has worked as a postdoc in Utrecht on the CGAL computational geometry library, and later as a postdoc in Eindhoven at IPO, Center for User-System Interaction. In 2001 Wesselink was appointed Assistant Professor / Scientific Programmer at TU/e (department of Mathematics and Computer Science). Wieger is also the former Dutch National Draughts Champion (1993).
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Nerva: a Truly Sparse Implementation of Neural Networks
Wesselink, J. W., Grooten, B. J., Xiao, Q., de Campos, C. P. & Pechenizkiy, M., 2024Research output: Other contribution › Academic
Open Access -
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M. (Corresponding author), Wesselink, W. & Willemse, T. A. C., 30 Mar 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Cham: Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (LNCS); vol. 13244).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)5 Downloads (Pure) -
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607Research output: Contribution to journal › Article › Academic
-
Partial-order reduction for parity games and parameterised Boolean equation systems
Neele, T. (Corresponding author), Willemse, T. A. C., Wesselink, W. & Valmari, A., Oct 2022, In: International Journal on Software Tools for Technology Transfer. 24, 5, p. 735-756 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)92 Downloads (Pure) -
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
Neele, T., Willemse, T. A. C. & Wesselink, W., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access3 Link opens in a new tab Citations (Scopus)
Datasets
-
mCRL2 release 201808.0
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
-
Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
Neele, T. (Creator), Willemse, T. A. C. (Creator) & Wesselink, W. (Creator), Zenodo, 9 Jan 2020
Dataset
-
mCRL2org/mCRL2: mCRL2 202507.0
Wesselink, J. W. (Creator), Groote, J. F. (Creator), Laveaux, M. (Creator), Keiren, J. J. A. (Creator), Neele, T. (Creator), Bunte, O. (Creator), Jansen, D. N. (Creator), Johannes Altmanninger (Creator), Booy, J. J. (Creator), de Vink, E. P. (Creator), Ferry Timmers (Creator), Thom Castermans (Creator), Willemse, T. A. C. (Creator), Wijs, A. J. (Creator), Jilissen, K. H. J. (Creator), Willem Rietdijk (Creator), van Ieperen, N. G. (Creator), Volk, M. (Creator), Spronck, M. S. C. (Creator), Luttik, S. P. (Creator), Casper Bach (Creator), Paul van Tilburg (Creator) & Rey, T. (Creator), Zenodo, 1 Aug 2025
Dataset: Software
Prizes
-
FMICS-AVoCS Best Paper award
Groote, J. F. (Recipient), Wesselink, J. W. (Recipient) & Willemse, T. A. C. (Recipient), 20 Sept 2017
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
Courses
-
Foundations of Artificial Intelligence
Krak, T., Quaeghebeur, E., de Campos, C., Quaeghebeur, E., Krak, T., Wesselink, J. W. & Dhami, D. S. 1/09/20 → 31/08/26
Course
-