Victor Heorhiadi

I’m a Sr. Applied Scientist at AWS, working on intent-driven networking, automated reasoning, and distributed systems in the AWS infrastructure org. I’ve spent a decade across networking, distributed systems and formal methods: first as a core developer of Batfish, and now building AWS’s network control plane and applying formal verification to AI guardrails. I hold a PhD in Computer Science from UNC Chapel Hill.

Selected work

• Automated Reasoning Checks: neurosymbolic guardrails for AI-driven workflows
• AWS intent-driven networking: the AWS network control plane and the SIDR routing protocol
• Batfish: open source network configuration analysis

See Projects for more on things I’ve worked on, Publications for papers and patents, or my CV.