Aad Mathijssen
Software Architect at iO
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolAad Mathijssen is a software architect based in Eindhoven with 12 years of industry experience and a deep academic background in applied logic and formal analysis of distributed systems. He combines practical engineering—designing web-oriented systems and databases—with research-driven expertise from a PhD and postdoctoral work on logical calculi and the mCRL2 toolset for system behaviour analysis. At iO he has led architectural efforts since 2009, translating formal analysis techniques into industrial practice for reliable, analyzable systems. Known for bridging theory and practice, he focuses on system behaviour, functional programming and tooling that makes complex distributed interactions tractable.
13 years of coding experience
18 years of employment as a software developer
Master, Computer Science, Master, Computer Science at Eindhoven University of TechnologyVoortgezet Wetenschappelijk Onderwijs (VWO), Voortgezet Wetenschappelijk Onderwijs (VWO) at Mencia de Mendoza Lyceum
Stackoverflow
640reputation
49kreached
9answers
1question
magento
top-5%
Github Skills (118)
phpcs10
api-client10
ruby10
automation10
adobe10
composer10
static-analysis10
magento10
api10
cli10
dependency-manager10
gitlab10
affiliates10
php-codesniffer10
gitlab-api10
Programming languages (9)
Github contributions (5)
iodigital-com/composer-git-hooks
Nov 2023 - Apr 2025
Composer plugin to manage git hooks from `bin/git-hooks/[hook].d` folders.
Contributions:3 reviews, 6 PRs, 22 pushes in 1 year 4 months
composer-plugingit-hooks
iodigital-com/composer-semver-cli
Nov 2020 - Apr 2021
A CLI wrapper around the composer/semver package.
Contributions:8 releases, 2 reviews, 30 commits in 6 months
cli
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.