Zachary Adams
Software Engineer at Frankel Zacharia Technology Services
Omaha, Nebraska, United States
Summary
🤩
Rockstar🎓
Top SchoolZachary Adams is a software engineer based in Omaha with 11 years of experience building reliable back-end systems and web applications. He has a strong foundation in mathematics and computer science from Iowa State University and has progressed through roles in university IT, startups, and consulting firms before founding or leading engineering at Frankel Zacharia Technology Services. An active open-source contributor, Zachary improved type analysis and bug detection in the widely used Psalm PHP static analysis tool, adding features like template property invariance and backed-enum checks. His work shows a focus on correctness and tooling that prevents errors rather than just fixing them after the fact. Known for pragmatic problem-solving across the stack, he blends rigorous type-oriented thinking with practical delivery experience. Colleagues value his attention to subtle edge cases in static analysis and his ability to translate that rigor into production-quality software.
11 years of coding experience
5 years of employment as a software developer
Mathematics and Computer Science, Mathematics and Computer Science at Iowa State University
Stackoverflow
121reputation
264reached
1answer
0questions
Github Skills (11)
php10
type-inference10
static-analysis10
phpstan10
debug9
type-checking9
typehinting9
javascript6
hmac6
cryptography6
encryption6
Programming languages (13)
Github contributions (5)
vimeo/psalm
Mar 2021 - Sep 2022
A static analysis tool for finding errors in PHP applications
Role in this project:
Back-end Developer
Back-end DeveloperContributions:242 reviews, 154 commits, 90 PRs in 1 year 6 months
Contributions summary:Zachary primarily contributed to the PHP static analysis tool, Psalm. Their work focused on improving the tool's type analysis capabilities and fixing bugs. They implemented features such as support for template property invariance and value-of checks for backed enums, and also made improvements to how string concatenation and array unpacking are handled, enhancing Psalm's ability to detect potential errors. Additionally, they fixed various issues within the tool to enhance its accuracy.
security-analysisfindingphptaint-analysisphp-applications
AndrolGenhald/psalm
Mar 2021 - Jul 2022
A static analysis tool for finding errors in PHP applications
Contributions:147 pushes, 77 branches in 1 year 4 months
findingphpstatic-analysisphp-applications
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.