FormalFoundry wins the Milipol Innovation Award 2025 for Cybersecurity & AI
Event date: 18 November 2025.
FormalFoundry won the Cybersecurity & AI category of the Milipol Innovation Awards 2025. Presented at Milipol Paris on 18 November, the award recognised CodexScribe and our approach to making AI reasoning more transparent and verifiable.
CodexScribe is designed to translate expert intent into machine-checkable rules. The approach starts with the knowledge of people who understand a domain, then expresses that knowledge precisely enough to support automated checking and reasoning.
The distinction matters: a convincing answer is not the same as evidence that a requirement has been met. By making the relevant rules explicit, the approach creates a foundation for checking results against a defined specification, rather than judging them only by how plausible they sound.
For FormalFoundry, the award marks an important milestone in bringing formal methods into conversations about practical AI adoption. It recognises the direction of our work: connecting the flexibility of AI with the discipline of clearly specified, checkable logic.
We thank the Milipol organisers and jury for the recognition, and the experts and collaborators helping us turn domain knowledge into foundations for more accountable AI systems.