Amirreza Zafari
CyberSecurity at Connectivity & Communication Technologies Development Council (CCTDC)
Tehran, Iran
Summary
👤
Senior🎓
Top SchoolAmirreza Zafari is a cybersecurity professional and penetration tester based in Tehran with a decade of experience focused on web application security and offensive testing. Currently contributing to national technology initiatives through roles at the Connectivity & Communication Technologies Development Council and the Vice-Presidency for Science and Technology, he also operates as a freelance penetration tester. Pursuing a Master's in Management Information Systems at Shahid Beheshti University after earning a bachelor's in Industrial Engineering, he blends analytical systems thinking with hands-on exploit discovery. Notably, he pairs academic study with practical security work across public-sector projects, bringing a pragmatic, research-informed approach to hardening web platforms.
10 years of coding experience
Master's degree, Management Information Systems, General, Master's degree, Management Information Systems, General at Shahid Beheshti UniversityBachelor's degree, Industrial Engineering, Bachelor's degree, Industrial Engineering at Ferdowsi University of Mashhad
Github Skills (21)
tlaplus10
tla10
proofs10
verification10
sat-solver10
isabelle10
specification10
trust10
rfc10
sel410
model-checking9
agda9
dependent-types9
microkernel9
proof9
Programming languages (2)
Github contributions (5)
amrzar/cyanea
Mar 2020 - Mar 2025
Contributions:634 pushes, 1 branch in 5 years
amrzar/cyanea-uconfig
Mar 2020 - Aug 2024
Contributions:203 pushes, 1 branch in 4 years 5 months
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.