About
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.
Find Tim A.C. Willems elsewhere
Related Searches
You Might Also Like
Tim WillemseEindhoven University of Technology · Associate Professor
Tim A.C. WillemseEindhoven University of Technology · Associate Professor
Jeroen J.A. KeirenEindhoven University of Technology · Assistant Professor
Wieger WesselinkEindhoven University of Technology · Assistant Professor
Jan Friso GrooteEindhoven University of Technology · Professor- JJeroen KeirenEindhoven University of Technology · Assistant Professor