Tim A.C. Willems

Tim A.C. Willems is a Full Professor in the Department of Computer Science at Eindhoven University of Technology (TU/e), where he leads the Formal System Analysis research group. His work focuses on developing rigorous methods for designing correct and reliable systems, with applications in high-impact domains like CERN's Large Hadron Collider (LHC). He maintains affiliations with TNO-ESI (as a part-time senior research fellow until 2024) and previously contributed to CERN's software engineering efforts.

Research Focus: Willems specializes in Algorithms and Logics for Verification (ALIVE), emphasizing:

• Theoretical foundations of fixed-point logics and parity games
• Practical applications of model checking
• Development of the mCRL2 toolset for system verification

He actively seeks industrial-academic collaborations and mentors MSc students through projects with partners like ASML, Canon, and Verum.

Leadership: Heads the Formal System Analysis group, driving research on formal verification methodologies and tool development.