George Granberry
PHD Candidate
Gothenburg, Sweden
Summary
🤩
Rockstar🎓
Top SchoolGeorge Granberry is a PhD candidate and experienced software engineer with eight years building production systems and researching formal methods at Chalmers University of Technology. He blends industry experience at Disney Streaming, IBM Cloud Video, and AWS internships with academic focus on the logical links between testing, specifications, and implementation. His recent work explores combining neural and symbolic methods to improve developer environments, and he has contributed to open-source verification tooling through Google Summer of Code with CPAchecker. Comfortable across research and production, he leverages strengths in iterative development, thoughtful testing, and collaborative problem solving. Based in Gothenburg, he pairs a practical engineering background with advanced study in programming languages and formal methods, bringing a rare mix of systems experience and formal rigor.
8 years of coding experience
10 years of employment as a software developer
Bachelor of Science (B.S.) Computer Science, Bachelor of Science (B.S.) Computer Science at University of St AndrewsBachelor of Science (B.S.) Computer Science, Bachelor of Science (B.S.) Computer Science at Emory UniversityMaster's degree Computer Science, Master's degree Computer Science at Chalmers University of Technology
Github Skills (57)
http-api10
in-progress10
xml10
json9
java9
mock-server9
mocking9
rest9
stubbing9
mason9
wiremock9
eclipse8
mathematics8
language-server-protocol8
testing8
Programming languages (7)
Github contributions (5)
ggranberry/acslyst
Sep 2023 - Mar 2025
Contributions:19 pushes, 1 branch in 1 year 6 months
claudiadelpeso/LabC
May 2023 - May 2023
Contributions:11 pushes in 2 days
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.