Erwann Le Lannou

AI lab

Standard Nuclear

Logos is building the mathematical infrastructure that makes AI agents logically correct over long horizons, using formal verification to ground LLM-generated code in machine-checked proofs.

Corma is the simplest license & access governance platform for modern IT teams.

We turn decisions into something explicit and computable. If agents can take action, the next question is: how do we decide what action is best, given constraints? Budget, staffing, prioritization, scheduling. Our data platform is powered by optimization, so decisions can be formalized and improved systematically. As software creation becomes more and more commoditized, clarity of purpose and quality of decisions increasingly becomes an edge.

At QMatter, we compress industrial-scale problems to run efficiently on current and near-term quantum computers, as well as conventional computing hardware. Our algorithms are powered by a quantum latent space, where computation becomes easier but still retains the most important quantum features to ensure accurate description of your problem.

Prior Labs is building breakthrough foundation models that understand spreadsheets and databases - the lifeblood of science and business. While foundation models have transformed text and images, tabular data has remained largely untouched. Were tackling this opportunity to revolutionize how we approach scientific discovery, medical research, financial modeling, and business intelligence. Backed by Balderton Capital, XTX Ventures, SAP Founder Hans Werner-Hectors Hector Foundation, Atlantic Labs, Galion.exe and top AI leaders such as Peter Sarlin, Guy Podjarny, Thomas Wolf, Ed Grefenstette, Robin Rombach, Christopher Lynch and Ash Kulkarni.

A new company that will revolutionise the performance of AI systems and speed up data centres, whilst dramatically reducing energy consumption for a sustainable future.

AI Co-Pilot to help Accountants manage client bookkeeping, compliance and global payments

Founded in April 2019 as a spin-out company from the University of Nottingham, BlueSkeye AI was born out of the desire of its founders for their research to do real good and have an impact on our world.

Were an AI research company that builds reliable, interpretable, and steerable AI systems. Our first product is Claude, an AI assistant for tasks at any scale. Our research interests span multiple areas including natural language, human feedback, scaling laws, reinforcement learning, code generation, and interpretability.

The Digital Health Section provides an educational perspective on the role of digital technology in creating patient-centric health and care services. Its focus is to educate its members and other people who come to its events on the progress being made on the adoption of digital innovation into mainstream services. It also shines a light on recent advances in the area and their implications on clinical, regulatory and ethical frameworks and guidelines. It also tries to highlight digital innovation from the patient’s point of view, so that clinicians and innovators better understand the consequences of advances in this domain. Posts, views and opinions from this account are those of Section Council Members and other individuals in their personal capacity, and not the RSM.

AI lab

Standard Nuclear

Logos is building the mathematical infrastructure that makes AI agents logically correct over long horizons, using formal verification to ground LLM-generated code in machine-checked proofs.

Corma is the simplest license & access governance platform for modern IT teams.

We turn decisions into something explicit and computable. If agents can take action, the next question is: how do we decide what action is best, given constraints? Budget, staffing, prioritization, scheduling. Our data platform is powered by optimization, so decisions can be formalized and improved systematically. As software creation becomes more and more commoditized, clarity of purpose and quality of decisions increasingly becomes an edge.