Wieger Wesselink
Assistant Professor · Formal Verification
Eindhoven University of TechnologyNetherlands
About
Wieger Wesselink is Assistant Professor in Formal System Analysis at Eindhoven University of Technology, where he specializes in formal verification and concurrent systems. He is a lead developer of the mCRL2 toolset for modeling and verifying concurrent protocols. His research focuses on symbolic model checking, parity games, and efficient algorithm implementation.
Awards: Received FMICS-AVoCS Best Paper award in 2017.
Teaching: Instructs courses on Foundations of Artificial Intelligence and Provable Programming.
0Publications listed
Find Wieger Wesselink elsewhere
Related Searches
You Might Also Like
Jeroen J.A. KeirenEindhoven University of Technology · Assistant Professor
Tim A.C. WillemseEindhoven University of Technology · Associate Professor
Jan Friso GrooteEindhoven University of Technology · Professor
Tim A.C. WillemsEindhoven University of Technology · Professor
Tim WillemseEindhoven University of Technology · Associate Professor- JJeroen KeirenSingapore Management University · Assistant Professor