Giorgos Anagnopoulos
R&D Verification Engineer
Greece
Summary
👤
Senior🎓
Top SchoolGiorgos Anagnopoulos is an R&D Verification Engineer with 9 years of experience focused on parallel programming, distributed systems, and blockchain technologies. He has a strong verification and automation background from roles at Ansys and Synopsys, where he built regression testing suites and streamlined CI/CD for complex simulation tools. His research work at ICS-FORTH and a Master's in Distributed Systems and System Security underpin practical experience with trusted execution (Intel SGX), GPGPU experiments, and runtime systems. He has hands-on product experience from a stealth startup and contributions to a Solana token project, showing he bridges low-level systems engineering and applied blockchain development. Comfortable across C, C#, Objective-C, Python and scripting, he pairs security-aware software development with a penchant for performance-oriented, parallel solutions. Based in Greece, he’s the kind of engineer who moves between academic research and production-grade verification tooling to turn novel ideas into reliable systems.
9 years of coding experience
4 years of employment as a software developer
Master's degree Distributed Systems and System Security, Master's degree Distributed Systems and System Security at University of Crete, Department of Computer ScienceGithub contributions (5)
gganagno/GHammer
Sep 2019 - Dec 2020
Contributions:7 commits, 6 pushes, 1 branch in 1 year 2 months
FuzzyOneFlex/website
May 2021 - May 2021
Contributions:11 pushes, 3 branches in 17 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.