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.
20 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 (23)
chessboard10
tlaplus10
git-repository10
verification10
model-checking10
animated9
expandable9
fen8
chess8
javascript7
responsive7
python-interface7
svg7
frontend7
latex6
Programming languages (5)
Github contributions (5)
wiegerw/gambatools
Sep 2021 - Oct 2024
A library for formal language education. It contains support for DFAs, NFAs, PDAs, Turing machines, context free grammars and regular expressions.
Contributions:2 releases, 4 PRs, 23 pushes in 3 years
wiegerw/mcrl2-boost-build
Jan 2015 - Feb 2018
Contributions:189 pushes in 3 years 1 month
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.