Wieger Wesselink
Research Engineer at Eindhoven University of Technology
Netherlands
Summary
👤
Senior🎓
Top SchoolWieger Wesselink is a research engineer with over 20 years of experience designing and implementing formal verification tools, best known as a lead designer of the mCRL2 toolset for modeling and analyzing concurrent systems. With a strong applied mathematics background (ir., Applied Mathematics) and a track record spanning academia and industry, he writes well-structured, production-quality code backed by precise mathematical specifications. He has led large industrial integrations that bring verification into model-based engineering workflows and has held dual roles as assistant professor and scientific programmer. Comfortable bridging theory and practice, he pairs deep algorithmic intuition—from variational modeling and computational geometry to concurrency—with pragmatic engineering that delivers auditable, verifiable systems.
21 years of coding experience
26 years of employment as a software developer
ir., Applied Mathematics, ir., Applied Mathematics at University of TwenteBaudartius College Zutphen
Github Skills (19)
git10
chessboard10
model-checking10
chess9
frontend9
turing-machine8
javascript8
svg7
regular-expression6
leveldb6
context-free-grammar5
latex5
verification5
python4
cpp3
Programming languages (5)
Github contributions (5)
wiegerw/mcrl2-boost-build
Jan 2015 - Feb 2018
Contributions:189 pushes in 3 years 1 month
wiegerw/draughts
Feb 2022 - Jan 2023
Contributions:84 commits, 80 pushes, 1 branch in 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.