Winston Haaswijk
Senior Principal Software Engineer at Cadence Design Systems
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolWinston Haaswijk is a Senior Principal Software Engineer at Cadence Design Systems with a decade of experience at the intersection of logic synthesis and applied machine learning. He holds a PhD from EPFL and an MPhil from Cambridge, and has a deep research background in Boolean satisfiability, SAT-based synthesis, and novel logic primitives developed during his doctoral work and Synopsys internship. At Cadence he translates cutting-edge academic ideas into production R&D, bridging theoretical methods and EDA tooling. Known for combining rigorous research with pragmatic engineering, he brings both low-level algorithmic expertise and hands-on software delivery to complex verification and synthesis challenges. Based in Amsterdam, he maintains an academic curiosity that drives exploration of ML-for-EDA solutions beyond typical product boundaries.
10 years of coding experience
10 years of employment as a software developer
VWO Economie en Maatschappij, VWO Economie en Maatschappij at Fons Vitae LyceumMaster of Philosophy (MPhil) Computer Science, Master of Philosophy (MPhil) Computer Science at University of CambridgeDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at EPFLBachelor of Science (BSc) Computer Science, Bachelor of Science (BSc) Computer Science at University of Amsterdam
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (22)
spelling10
truth-table10
xor9
cobol9
synthesis9
logic9
intervals8
compile-time8
optimization7
cpp6
theorem6
android6
bitmap6
scaling6
cpp-library6
Programming languages (5)
Github contributions (5)
whaaswijk/percy
Mar 2018 - Jun 2019
An advanced header-only exact synthesis library
Contributions:3 releases, 316 commits, 9 PRs in 1 year 3 months
headercobolsynthesisheader-onlyspelling
whaaswijk/whaaswijk.github.io
Jun 2017 - Aug 2024
Contributions:33 pushes, 1 branch in 7 years 3 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.