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 (18)
spelling10
truth-table10
cobol9
algorithms9
synthesis9
logic9
intervals9
cpp8
optimization7
android6
bitmap6
scaling6
z35
sat4
electrical-engineering3
Programming languages (5)
Github contributions (5)
whaaswijk/whaaswijk.github.io
Jun 2017 - Aug 2024
Contributions:33 pushes, 1 branch in 7 years 3 months
whaaswijk/libmajesty
Aug 2016 - Oct 2020
Library for Logic Synthesis and Optimization
Contributions:350 commits, 1 PR, 1 push in 4 years 3 months
optimizationsynthesislogic-synthesislogic
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.