Dany Shaanan
Formal Verification Engineer
Tel Aviv-Yafo, Tel Aviv District, Israel
Summary
🤩
Rockstar🎓
Top SchoolDany Shaanan is a Formal Verification Engineer at NVIDIA with 14 years of software and research experience grounded in a BSc in Mathematics from the Technion. He has moved between applied research and product engineering—designing distributed protocols at IOTA, researching HFT algorithms at Efficient Frontier, and building dev tools at Wix—bringing rigorous, mathematically minded engineering to production systems. His background in embedded/IoT work includes a notable contribution to the popular johnny-five JavaScript robotics library where he extended piezo playback with string-to-song parsing and tests. Comfortable across low-level systems, distributed consensus, and developer infrastructure, he combines formal methods with practical implementation skills. Based in Tel Aviv, he learned programming independently in high school and retains a creative streak reflected in interests spanning mathematics, JavaScript, and art. Colleagues describe him as a detail-oriented problem solver who turns formal specifications into verifiable, production-ready software.
14 years of coding experience
11 years of employment as a software developer
Bachelor of Science (BSc) Mathematics, Bachelor of Science (BSc) Mathematics at Technion - Israel Institute of TechnologyThe Hebrew Reali School
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
iot10
javascript10
robotics10
arduino10
testing9
pwm8
Programming languages (9)
Github contributions (5)
rwaldron/johnny-five
Jan 2015 - Jan 2015
JavaScript Robotics and IoT programming framework, developed at Bocoup.
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:5 commits, 1 PR, 4 comments in 1 day
Contributions summary:Dany primarily contributed to the `piezo.js` module, extending its functionality to include playing musical tunes represented as strings. They implemented a `stringToSong` function to convert string representations of notes into a playable format. The user added tests for the new features and provided example documentation. Refinement and correction of the string to song functionality were also performed.
serialdactplinkpcduinoraspberry-pi
danyshaanan/reversemd5.com
Dec 2013 - Jun 2021
:computer: A reverse-md5 lookup database that grows by user input.
Contributions:50 commits, 1 PR, 12 pushes in 7 years 7 months
md5databaseuser-input
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.