معرفی
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.
۰مقاله منتشرشده
Wieger Wesselink در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Jeroen J.A. KeirenEindhoven University of Technology · استادیار
Tim A.C. WillemseEindhoven University of Technology · دانشیار
Jan Friso GrooteEindhoven University of Technology · استاد
Tim A.C. WillemsEindhoven University of Technology · استاد- JJeroen KeirenSingapore Management University · استادیار
Tim WillemseEindhoven University of Technology · دانشیار