Victor Heorhiadi
Senior Applied Scientist at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolVictor Heorhiadi is a Senior Applied Scientist at AWS with 11 years of experience blending neuro-symbolic AI, automated reasoning, and distributed systems research into production-ready solutions. He holds a PhD from UNC and has a strong track record in network optimization, SDN, security, and workload distribution from academia to industry roles at AWS, Intentionet, and IBM. A Python enthusiast, he bridges formal methods and practical engineering—building frameworks for optimization, intrusion detection workloads, and fault-injection testing for microservices. Based in Seattle, he’s known for turning complex theoretical ideas into scalable systems and quietly experiments across networks, security, and formal verification in his spare time.
12 years of coding experience
11 years of employment as a software developer
University of Minnesota Twin CitiesMaster of Science (MS), Computer Science, Master of Science (MS), Computer Science at University of North Carolina at Chapel Hill
English, Ukrainian, Russian
Github Skills (37)
network-configuration10
python10
network-analysis10
sdn10
networking10
security10
network10
network-automation10
network-security10
temporal9
docker-container9
correctness9
configurations9
optimization9
traffic9
Programming languages (5)
Github contributions (5)
progwriter/batfish
Sep 2018 - Apr 2025
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
Contributions:1157 pushes, 1424 branches in 6 years 8 months
outagesnetwork-engineerssecuritybatfishnetworking
progwriter/TMgen
Apr 2016 - Aug 2020
TMgen is a tool for generating spatial, temporal, and spatio-temporal traffic matrices.
Contributions:89 commits, 4 PRs, 38 pushes in 4 years 4 months
matricesspatialspatial-temporalspatio-temporaltemporal
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.