| Safe IntelligenceCompanies · also on Labs, Assurance | Sells software that checks how a trained AI model behaves across very many possible inputs, to find hidden weak points before it is used.Profile- Founded
- Not stated (spin-out from Imperial College London)
- Founders
- Alessio Lomuscio — founder and CTO (Professor of Safe Artificial Intelligence, Imperial College London)
- Chief executive
- Steven Willmott — from Feb 2025 (earlier led product and engineering; founded 3scale, acquired by Red Hat)
- Chief scientist or research lead
- Alessio Lomuscio — CTO
- Hq
- London (England: London) per release dateline; other_offices: not stated
- What it does
- Safe Intelligence sells tools that check whether AI systems behave as intended. It began with formal verification and "robustification" of machine-learning models (vision and tabular), and in April 2026 launched Spec27, which writes tests from a specification and validates AI applications and agents before and after deployment.
- Research focus
- Formal verification and robustness of neural networks and tree ensembles; specification-driven validation of AI agents.
- Models and products
- Spec27 — "automated specification-driven validation platform for AI applications and agents", early access — 8 Apr 2026; verification and robustification platform and command-line tools — Feb 2025
- Customers or partners named
- Not stated (target sectors: finance, mobility, robotics, aviation)
- Selected papers
- Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation (Y. Zhang, P. Kouvaros, A. Lomuscio) — NeurIPS 2025 — Dec 2025 — https://openreview.net/pdf?id=Va1IHqY3jG
- Rounds found
- 20 Feb 2025 — seed — £4.15m — Amadeus Capital Partners — OTB Ventures, Vsquared Ventures (already DEAL-LAB-2017 / DEAL-SAFE-002)
- Status now
- Trading; launched Spec27 in early access in April 2026.
Labs Round 8 deep profile (31 Oct 2026), as the researchers wrote it; confidence: one source. Sources - safeintelligence.ai/safe-intelligence-raises-4m-
- safeintelligence.ai/introducing-spec27-spec-driv
- safeintelligence.ai/scalable-neural-network-geom
| London (registered office N8 0RL) | Companies House · find-and-update.company-information.service.gov. · find-and-update.company-information.service.gov. · uktech.news/ai/safe-intelligence-raises-4m-20250 · safeintelligence.ai/safe-intelligence-raises-4m- | verified |