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.
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.
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).
The mCRL2 toolset for analysing concurrent systems25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 (2019)
A comparison of BDD-based parity game solvers9th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2018 (2018)
BDD-based parity game solving(2018)
Evidence extraction from parameterised Boolean equation systems3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics, (ARQNL 2018) (2018)
Formalising the Dezyne modelling language in mCRL222nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 (2017)
- Applied Logic
- Automata, language theory and complexity
- Fundamentals of informatics
- Programming methods
No ancillary activities