• Maintained and expanded core capabilities of Batfish (batfish.org), an open-source network verification project
• Learned networking principles from the ground up, including vendor-specific constructs around various protocols (BGP, OSPF, IS-IS, and more), packet filtering behavior, and NAT, in order to accurately model network devices in software
• Led a project overhauling critical legacy elements of Batfish's network simulation engine, paving the way for much broader vendor support
• Developed a custom script to analyze Batfish's accuracy on customer networks, which helped us quickly identify and resolve support gaps to secure success in a POC with a Fortune 500 customer
• Mentored junior engineers in Batfish, networking, and programming concepts
• Supported open source users and developers on Batfish's public Slack