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.
15 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 (15)
model-checking6
python5
qt5
space-partitioning5
browser5
window-manager5
vim4
wayland4
qtwebengine3
rust3
linux3
git3
slack3
macos1
qutebrowser1
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.