Veribee Labs Ltd
The University of Manchester
Who would you like to contact?
Professor Richard Allmendinger
Professor, Co-Founder & CEO
Richard.allmendinger@manchester.ac.uk
John van Rij
UoM TTO
John.VanRij@uominnovationfactory.com
Problem
Veribee solves the gap between fast-paced software development and insecure, poorly tested code. Traditional static code analysis tools miss real bugs, raise too many false alarms, and slow developers down — leaving security vulnerabilities undetected and increasing risk for businesses.
Solution
Veribee provides a high-trust code verification platform built for modern, AI-powered development. It uses its proprietary triple-lock technology — combining formal verification, AI, and fuzzing — to detect and fix over 40 types of security vulnerabilities in source code. Unlike conventional tools that rely solely on static pattern matching, Veribee dynamically explores code paths to find real bugs, cutting down false positives by up to 90%. The platform integrates seamlessly into existing CI/CD pipelines, whether on-premises or in the cloud, and produces detailed, actionable reports with bug locations, classifications, and suggested fixes. Backed by decades of academic research and £20 million in funding, Veribee helps teams to comply with emerging regulations (like the EU AI Act), enabling secure-by-design development at reduced cost and accelerated go to market.
Sustainable Development Goals addressed
UKRN Services CIC
A combination of inconsistent research practices, training gaps, low confidence and rising external scrutiny threatens UK institutional standards, research funding and reputation.
The 1928 Institute
The University of Oxford
The 1928 Institute targets a lack of representation, systemic data gaps, and under-addressed discrimination facing the British Indian community.
The 1752 Group
University of York
Sexual misconduct by staff is under-reported and under-researched. Higher education institutions in the UK need to be leading the change to prevent cultures of abuse, respond effectively and without inflicting further harm, ensure robust, student-centred reporting and investigation procedures, and implement policies and procedures to eliminate the sexual misconduct of academic, professional services, contracted and temporary staff.
Tabletop R&D
Queen Mary University of London
Game designers, developers and publishers often have questions about their games which requires custom answers, such as evaluation of different strategies, game balance, frequency and types of actions played, victory conditions triggered most often, etc.