Tim Willemse

Tim Willemse is an Associate Professor in the Formal System Analysis group at the Department of Mathematics and Computer Science, Eindhoven University of Technology (TU/e). He holds a part-time affiliation with CERN as a software engineer and researcher. His research focuses on formal methods, model checking, and their application in high-tech systems. Willemse has a PhD and MSc in Computer Science from TU/e.

Education: PhD and MSc in Computer Science (TU/e).

Research Interests: Formal methods, model checking, parameterised Boolean equation systems, parity games, and fixpoint logics. His work emphasizes scaling these techniques for reliable system design, with applications in industrial software (e.g., Dezyne toolset) and CERN’s physics experiments.

Key Projects: Led verification tooling for CERN’s software, developed Dezyne verification technology, and contributed to projects like NWO-TOP (AVVA), FP7 VICTORIA, and VOCHS. Collaborates with ASML, Canon Production Printing, and Verum.

Grants & Leadership: Secured funding from NWO, EU, and industry. Former managing director of the national IPA research school. Serves on the HTSC Next Gen Board and multiple academic societies (ACM SIGACT, EATCS).

Labs & Tools: Core contributor to the mCRL2 toolset, used for system specification and analysis. Involved in EAISI High Tech Systems at TU/e.