Benjamin Rodes
Principal Security Engineer at Microsoft
Greater Charlottesville Area United States
Summary
🤩
Rockstar🎓
Top SchoolBenjamin Rodes is a Principal Security Engineer with nine years of deep experience shaping CodeQL-based security analyses for C/C++ at Microsoft, and a strong research background in automated binary and source analysis for IoT devices. He blends offensive and defensive expertise—symbolic execution, formal verification, code property graphs, and reverse engineering—to build scalable tools that find and fix vulnerabilities across product lines and cloud services. His career includes leading DARPA/AFRL-funded assurance-case and formal-methods projects and inventing binary transformation toolchains that materially improved program security. Known for translating academic-grade formal methods into practical engineering solutions, he also has hands-on experience architecting microservices, databases, and analysis-optimizations. Based in the Greater Charlottesville area, he pairs a PhD in cybersecurity with a track record of operationalizing research into production-ready security tooling.
8 years of coding experience
13 years of employment as a software developer
Master's degree Computer Science (Secure Software Systems), Master's degree Computer Science (Secure Software Systems) at James Madison UniversityDoctor of Philosophy (PhD) Computer Science (Cyber Security and Assurance), Doctor of Philosophy (PhD) Computer Science (Cyber Security and Assurance) at University of Virginia
Github Skills (50)
github-advanced-security10
python10
redis10
amqp10
semmle-ql10
codeql10
security10
task-manager10
modulo10
task-scheduler10
task-queue10
scanning10
distributed-lock10
queue10
static-analysis9
Programming languages (7)
Github contributions (5)
microsoft/codeql
Nov 2022 - Feb 2025
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Contributions:15 reviews, 31 PRs, 357 pushes in 2 years 3 months
github-advanced-securitysecurity-toolssecurity-researcherssecuritycode-scanning
bdrodes/pysmt
Jul 2020 - Oct 2020
pySMT: A library for SMT formulae manipulation and solving
Contributions:8 commits, 7 pushes in 3 months
manipulationformulaepythonsolvingsmt
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.