Persoonlijk profiel

Quote

“The beauty and power of formal software analysis never cease to surprise.”

Research profile

Tim Willemse is an Associate Professor in the Formal System Analysis group of the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). Tim’s research focusses on applying, developing and scaling formal methods for designing correct and reliable systems. His research receives financial support from organisations such as NWO and the European Commission, and commercial parties, including ASML, Canon Production Printing and Verum.  

His group works on algorithms and theory for parity games and fixpoint logics, such as parameterised Boolean equation systems, and their application. Their theories and algorithms drive the model checking technology offered by mCRL2, a toolset for specifying and analysing (software controlled) systems. 

Tim led the development of dedicated verification tooling for the software controlling the physics experiments at CERN. More recently, he developed the verification technology underlying the commercial model-driven software engineering toolset Dezyne, used on a day-to-day basis by the high-tech industry. 

Academic background

Tim Willemse received his PhD and MSc in Computer Science from TU/e. In addition to his position at TU/e, Tim has a part-time affiliation with CERN, as a software engineer and researcher. He has also worked as a researcher at ASML and Radboud University, Nijmegen, the Netherlands. In both positions, he worked on Model-Based Testing techniques. Until December 2017, Tim was managing director of the national research school IPA. He is also a member of the Next Gen Board of the HTSC, and of the societies ACM SIGACT, ACM SIGLOG, EATCS, NVTI, IPA.

Tim has been involved in a wide range of research projects, including NWO-TOP project AVVA, a project on exploring the use of massive parallelism to speed up verification and the use of verification to assess the correctness of parallel programs. He was project leader on FP7 TTP VICTORIA, a project exploring the connection between the industrial language Dezyne and mCRL2, on the NWO project VOCHS, (verification of control software of the CMS experiment at the Large Hadron Collider) and on the NWO-project COMFORTS (verification of data-dependent and real-time systems).

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Tim A.C. Willemse actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • It’s All a Game: Apartness and Bisimilarity

    Keiren, J. J. A. & Willemse, T. A. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, blz. 150-167 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications

    Arshad, H. (Corresponding author), Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., jan. 2024, In: Science of Computer Programming. 232, 10 blz., 103046.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    13 Downloads (Pure)
  • Decomposing monolithic processes in a process algebra with multi-actions

    Laveaux, M. (Corresponding author) & Willemse, T. A. C., apr. 2023, In: Journal of Logical and Algebraic Methods in Programming. 132, 24 blz., 100858.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    14 Downloads (Pure)
  • On the Preservation of Properties When Changing Communication Models

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (uitgave). Springer, blz. 239-253 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • Preface

    Ferreira, C. & Willemse, T. A. C., 2023, Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic