Building a Unified Model of Software Systems
A concrete approach to representing software systems for machine reasoning.
Co-founder and CTO at Antimetal
At Antimetal, I'm working on redefining how people understand, interact with, and manage their cloud infrastructure.
Before Antimetal, I worked at Facebook, where I built eBPF-based network security primitives for the world's largest private data center.
I'm always curious to learn from others. If you've got an idea, a question, or just want to chat, feel free to reach out.
While you're here, check out some of my favorite books. They've shaped how I think about the world—maybe they'll do the same for you.