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

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 Dive into the research topics where Wieger Wesselink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

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

Research Output

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 proceedingConference contributionAcademicpeer-review

Open Access
  • Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

    Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 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. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

    Open Access
    File
  • 15 Citations (Scopus)
    22 Downloads (Pure)

    A comparison of BDD-based parity game solvers

    Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

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

    Open Access
    2 Citations (Scopus)
    2 Downloads (Pure)

    BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

    Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1801)

    Research output: Book/ReportReportAcademic

    Open Access
    File

    Prizes

    Best Paper award

    J.F. Groote (Recipient), J.W. Wesselink (Recipient) & Tim A.C. Willemse (Recipient), 20 Sep 2017

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

  • Courses

    Applied Logic

    1/09/19 → …

    Course

    Fundamentals of informatics

    1/09/1331/08/20

    Course

    Student theses

    Automated verification of Owicki/Gries proof outlines: comparing PVS and Isabelle

    Author: Koudijs, J. C., 31 Jan 2006

    Supervisor: Romijn, J. (Supervisor 1), Mooij, A. (Supervisor 2) & Wesselink, J. (Supervisor 2)

    Student thesis: Master

    File

    Black-box random testing of the mCRL2 toolset using attribute grammars

    Author: Geelen, M., 31 Mar 2014

    Supervisor: Wesselink, J. (Supervisor 1) & Willemse, T. (Supervisor 2)

    Student thesis: Master

    File

    Computer animation based on chaincodes and discrete bilinear blending

    Author: de Vries, J., 30 Jun 1992

    Supervisor: van Overveld, C. (Supervisor 1), Mulder, P. (External person) (Supervisor 2) & Wesselink, J. (Supervisor 2)

    Student thesis: Master

    Editor for the modeling of 3D minimal energy curves

    Author: Foederer, J., 29 Feb 1996

    Supervisor: van Overveld, C. (Supervisor 1) & Wesselink, J. (Supervisor 2)

    Student thesis: Master

    Evaluation of DMS-splines

    Author: Franssen, M., 31 Dec 1995

    Supervisor: van Overveld, C. (Supervisor 1), Bijlsma, A. (Supervisor 2), Veltkamp, R. C. (External person) (Supervisor 2) & Wesselink, J. (Supervisor 2)

    Student thesis: Master