Omar Al Duhaiby
Research And Development Engineer at Thermo Fisher Scientific
Netherlands
Summary
👤
Senior🎓
Top SchoolOmar Al Duhaiby is a Research and Development Engineer with 14 years of experience bridging formal methods, machine learning, and full-stack development to turn complex systems into verifiable, usable solutions. He holds a PhD in Mathematics and Computer Science and has applied black-box model extraction, formal semantics, and NLP in both academic and industrial settings, currently at Thermo Fisher Scientific. A natural ideator and analytical thinker, Omar excels at synthesizing disparate information into clear, actionable insights and documentation—evidenced by careful contributions to the widely used K Framework docs. Comfortable across electronics, parallel computing, and web stacks, he blends rigorous proof-seeking habits with adaptable, team-oriented communication and arranging skills. Colleagues value his knack for finding elegant unifying concepts and making them accessible to diverse stakeholders.
14 years of coding experience
4 years of employment as a software developer
Non-degree, Computer Science, Non-degree, Computer Science at Stanford UniversityDoctor of Philosophy - PhD, Mathematics and Computer Science, Doctor of Philosophy - PhD, Mathematics and Computer Science at Eindhoven University of TechnologyBachelor of Science (BSc), Electrical and Electronics Engineering, Bachelor of Science (BSc), Electrical and Electronics Engineering at King Fahd University of Petroleum & Minerals
Arabic, Japanese, Spanish, English, Dutch
Stackoverflow
66reputation
8kreached
3answers
1question
Github Skills (9)
documentation10
pos-tagger6
drools6
socket6
tex6
stemming6
rule-engine6
emmet6
java6
Programming languages (6)
Github contributions (5)
runtimeverification/k
Nov 2014 - Dec 2014
K Framework Tools 7.0
Role in this project:
Technical Writer
Technical WriterContributions:13 commits in 8 days
Contributions summary:Omar primarily contributed to the repository by fixing typos and improving the documentation. Their commits involved minor text corrections within the reference manual, specifically the `ref-manual.k` file. Furthermore, the user made minor edits to comments and documentation of code. This suggests a focus on refining existing documentation and ensuring its accuracy.
edaframeworkdataflow-programmingtlaplus
omarzd/CudaSwallow
Feb 2012 - Jun 2018
Contributions:18 commits, 15 pushes, 1 branch in 6 years 5 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.