GALOIS, INC.

The award title and description focus on 'verification engineering' for software engineers — a formal methods and software assurance problem, not an AI/ML system or technique. No mention of machine learning, neural networks, anomaly detection, or autonomous systems; this appears to be tooling or methodology for code verification. Galois Inc. is a known formal methods and cybersecurity firm (credible, modern, non-legacy name), raising awardee quality, but the problem itself is classical software engineering, not AI-native. Problem framing is weak: 'real-world software engineers' is vague and lacks specific operational context or end-user mission articulation.