CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.