Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

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).

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Wieger Wesselink actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 2 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

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. (redactie). Springer, blz. 307-324 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 blz. (Computer science reports; vol. 19/02)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
  • 22 Downloads (Pure)

    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. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
  • 16 Citaten (Scopus)
    23 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, blz. 103-117 15 blz. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    2 Citaten (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 blz. (Computer science reports; vol. 1801)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
    188 Downloads (Pure)

    Prijzen

    Best Paper award

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

  • Cursussen

    Applied Logic

    1/09/19 → …

    Cursus

    Fundamentals of informatics

    1/09/1331/08/20

    Cursus

    Scriptie

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

    Auteur: Koudijs, J. C., 31 jan 2006

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

    Scriptie/masterproef: Master

    Bestand

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

    Auteur: Geelen, M., 31 mrt 2014

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

    Scriptie/masterproef: Master

    Bestand

    Computer animation based on chaincodes and discrete bilinear blending

    Auteur: de Vries, J., 30 jun 1992

    Begeleider: van Overveld, C. (Afstudeerdocent 1), Mulder, P. (Externe persoon) (Afstudeerdocent 2) & Wesselink, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Editor for the modeling of 3D minimal energy curves

    Auteur: Foederer, J., 29 feb 1996

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

    Scriptie/masterproef: Master

    Evaluation of DMS-splines

    Auteur: Franssen, M., 31 dec 1995

    Begeleider: van Overveld, C. (Afstudeerdocent 1), Bijlsma, A. (Afstudeerdocent 2), Veltkamp, R. C. (Externe persoon) (Afstudeerdocent 2) & Wesselink, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master