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 13 years of software and research experience and a BSc in Mathematics from the Technion. He brings together formal methods, distributed-protocol research (IOTA), and algorithmic work in high-frequency trading to harden software systems. An early self-taught programmer, his career spans web and infrastructure at Wix, embedded/IoT contributions—notably extending the popular Johnny-Five robotics framework with a stringToSong piezo module and accompanying tests—and Unity/Android game work. Based in Tel Aviv, he pairs mathematical rigor with practical engineering and hiring leadership to build auditable, reliable systems.
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 (7)
iot10
javascript10
robotics10
javascripts10
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.