Generate a tailored SOP for Dr. Tim Willemse. Improve your application with a focused, well-structured draft.
Tim Willemse is a Full Professor in the Formal System Analysis group within the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His research focuses on applying and developing formal methods to design correct and reliable systems. His work is financially supported by several organizations, including NWO, the European Commission, and commercial entities such as ASML and Canon Production Printing. The group specializes in the study of algorithm theory, including parity games, fixpoint logics, and parameterized Boolean equation systems. The algorithms developed drive model checking technology offered by mCRL2, a toolset for specifying and analyzing software-controlled systems. Tim led the development of dedicated verification tools for controlling physics experiments at CERN and co-developed the verification technology for the Model-Driven Engineering toolset known as Dezyne, used in high-tech industries. He has collaborated with Bas Luttik and ProRail to analyze and improve the proposed ERTMS Hybrid Train Detection concept. Tim holds a PhD and MSc in Computer Science from TU/e and has held previous positions as a senior research fellow at CERN, a software engineer, and as managing director of the national research school IPA.
Eindhoven University of Technology • Eindhoven
Leads the Formal System Analysis group focusing on formal methods and verification.
CERN • Geneva
Worked on verification tools for controlling physics experiments.
National Research School IPA • Eindhoven
Oversees research initiatives in formal methods.
ASML • Veldhoven
Worked on Model-Based Testing techniques.
Specific departments like Industrial Design require a portfolio. Programs like Data Science and AI require a GRE-General test for certain international backgrounds.