Wessel Sinnema
Software Engineer at ASML
Brabantine City Row United Kingdom
Summary
👤
Senior🎓
Top SchoolWessel Sinnema is a software engineer with 14 years’ experience specializing in embedded systems, formal methods, algorithms, and parallel processing. He holds an MSc in Embedded Systems from TU Eindhoven and has applied formal verification and model checking to real-world processor memory models during a research position at Synopsys. Wessel has built production SDKs and cross-language tooling (including .NET, Go, Python, Ruby, and mobile clients) and contributed open-source work such as an A-GPS implementation for Ubuntu Touch. More recently he develops software at ASML, bringing low-level verification rigor to complex systems engineering in high-tech manufacturing. Colleagues value his blend of theoretical depth and pragmatic engineering that turns formal techniques into reliable, shipped products.
14 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Embedded Systems, Master of Science - MS, Embedded Systems at Technische Universiteit Eindhoven
English, Dutch
Github Skills (21)
model-checking7
browser6
verification6
python6
keyboard6
window-manager5
vim5
partitioning5
git-repository5
qt5
tlaplus5
tiling4
wayland4
x113
slack3
Programming languages (5)
Github contributions (5)
wsinnema/gewisweb
Dec 2015 - Sep 2019
GEWIS Website
Contributions:91 pushes, 56 branches in 3 years 9 months
gafderks/gewisweb
Jan 2015 - Dec 2015
Contributions:63 pushes, 4 branches 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.