Bo Henderson
Earth, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolBo Henderson is a software engineer with a decade of experience who transitioned from a chemistry BS to an MS in computer science to pursue hands-on development and blockchain experimentation. He left a more conventional career path after an internship sparked a focus on Ethereum, building projects like a Cryptokitties auto-birther and a Blackjack Tip Jar WordPress plugin while documenting his work at bohendo.com. Bo contributes to prominent open-source security tooling—improving Slither’s storage-reading, flags, and test/mutation infrastructure—demonstrating a strong emphasis on reliability and test automation. Based in Texas, he blends scientific rigor with practical engineering, and describes himself as an avid reader of Solidity, signaling deep, ongoing curiosity about smart-contract correctness.
10 years of coding experience
Bachelor of Science (B.S.), Chemistry, Bachelor of Science (B.S.), Chemistry at Indiana University Bloomington
Stackoverflow
471reputation
144kreached
1answer
1question
Github Skills (14)
static-analysis10
vyper10
solidity10
python10
ethereum10
test-automation10
testing10
cli9
command-line9
command-line-interface9
json6
docker6
typescript6
dockers5
Programming languages (18)
Github contributions (5)
crytic/slither
Apr 2022 - Oct 2022
Static Analyzer for Solidity and Vyper
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:4 reviews, 8 commits, 11 PRs in 6 months
Contributions summary:Bo primarily focused on enhancing the `slither` tool, specifically the `slither-read-storage` tool, by adding functionality to read storage from a specific block. They also improved the code by adding and modifying flags and refining test coverage. Further, the user addressed code quality by running a black code reformatter and fixing lint warnings. The user also contributed to mutation testing, improving it by adding more verbose logs, counting valid/invalid mutant categories, and fixing test issues, highlighting a focus on improving the tool's reliability and testing infrastructure.
soliditystatic-analyzervyperethereumstatic-analysis
bohendo/valuemachine
Mar 2019 - Aug 2022
Financial dashboard + tax tools
Contributions:1806 commits, 592 pushes, 18 branches in 3 years 6 months
financefinancialtaxdashboard
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.