UK BUSINESS AI UNIVERSE: Assurance: Other companies

Other companies

3 records Theme: Companies · Generated from this page's data. Click a name to open its panel on the Assurance page. Records resting on one source are tagged "one source".

Record	What it is	Place	Links	Confidence
Chatterbox LabsCompanies · also on Safety	Sells AIMI, software that measures the risks of AI models and agents, such as safety, security and bias, as numbers that firms can act on.	London (SE1 7ND)	Companies House · chatterbox.co/about-us/ · find-and-update.company-information.service.gov. · qmul.ac.uk/eecs/research/industry-partnerships--	verified
CytixCompanies · also on Safety	Checks and logs the code changes that AI coding tools make, to catch security holes in software written with AI.	Manchester (M2 4JQ)	Companies House · uktech.news/cybersecurity/manchester-cyber-start · find-and-update.company-information.service.gov. · find-and-update.company-information.service.gov.	verified
Safe IntelligenceCompanies · also on Safety, Labs	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