Joey Dodds
Applied Scientist at Amazon Web Services (AWS)
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolJoey Dodds is an applied scientist with 13 years of experience specializing in software verification and formal methods, currently working at AWS and advising Free & Fair. He applies rigorous verification techniques to real-world systems—from Amazon’s widely used s2n TLS implementation to timestamping and cryptography libraries—bridging research and production by integrating tools like SAW for automated testing. With a PhD from Princeton and a track record at Galois, Joey excels at finding the “right level” of formal methods that deliver practical assurance without overengineering. Based in Portland, he pairs deep theoretical grounding with hands-on engineering, often modifying build systems and adding failure tests to harden critical security code.
13 years of coding experience
10 years of employment as a software developer
Masters, Computer Science, Masters, Computer Science at Kansas State UniversityDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Princeton University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (15)
c1710
mtls10
ssl10
tls1210
clangd10
c1110
makefile10
tls1310
clang10
libtls10
testing9
bitcode9
automations8
automation8
cryptography8
Programming languages (14)
Github contributions (5)
aws/s2n-tls
May 2016 - Nov 2020
An implementation of the TLS/SSL protocols
Role in this project:
Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:1 review, 219 commits, 7 PRs in 4 years 6 months
Contributions summary:Joey's contributions primarily focus on integrating and testing the "saw" tool within the s2n-tls project. This includes generating and linking bitcode files, creating makefile modifications to incorporate "saw" tests, and modifying source code to enable "saw" integration and testing. They also added failure tests to the project. Overall, the work centers on adding tools and mechanisms to ensure the correctness and security of the TLS/SSL implementation.
cryptographysslc99tlscrypto
GaloisInc/cryptol-vscode
Nov 2017 - Jun 2018
Visual Studio Code plugin for Cryptol
Contributions:15 commits, 6 pushes in 7 months
vscodevscode-extensionvisual-studio-codevisual-studio
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.