William Bodell
Sr. Smart Contract Engineer at DKODA Labs
Baltimore, Maryland, United States
Summary
👤
Senior🎓
Top SchoolWilliam Bodell is a senior smart contract engineer and security researcher with a decade-long journey from architecture to Web3, now focused on building secure, upgradeable Ethereum contracts and tooling. He holds an MSCS from Illinois Institute of Technology and an M.Arch from Columbia, blending design-driven systems thinking with rigorous security research published at USENIX Security. William built a differential fuzzing + static analysis tool (diffusc) at Trail of Bits and contributed security improvements to Slither, demonstrating practical impact on widely used open-source smart contract analyzers. He has repeatedly led winning hackathon teams and shipped production-ready contracts at Increment Finance and DKODA Labs, pairing offense-style CTF experience with defense-oriented auditing. Notably, his early FarmShare concept and later academic work converge on pragmatic upgradeability detection and analysis—an underappreciated but critical aspect of long-lived on-chain systems.
10 years of coding experience
4 years of employment as a software developer
Master of Science in Computer Science - MSCS, Master of Science in Computer Science - MSCS at Illinois Institute of TechnologyMaster of Architecture (M.Arch.) Architecture, Master of Architecture (M.Arch.) Architecture at Columbia University Graduate School of Architecture, Planning & PreservationBachelor of Science Architecture, Bachelor of Science Architecture at University of Illinois Urbana-Champaign
Github Skills (7)
it-security10
smart-contracts10
static-analysis10
solidity10
ethereum10
security10
vyper9
Programming languages (10)
Github contributions (5)
crytic/slither
Dec 2022 - Dec 2022
Static Analyzer for Solidity and Vyper
Role in this project:
Security Engineer
Security EngineerContributions:48 reviews, 15 commits, 27 PRs in 8 days
Contributions summary:William primarily contributed to the security analysis tools within the Slither repository. Their work involved fixing bugs related to variable order checks within upgradeability tools and integrating OpenAI Codex to find vulnerabilities in Solidity and Vyper smart contracts. Additionally, they were involved in implementing features to handle custom upgradeability comments for contract definitions, including the addition of properties and the extraction of version information, further solidifying their focus on security and smart contract analysis.
soliditystatic-analyzervyperethereumstatic-analysis
FarmshareCSA/Farmshare
Jul 2023 - Sep 2023
Contributions:21 PRs, 74 pushes, 20 branches in 1 month
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.