Atalanta

Math Inc

This company develops formal verification infrastructure and autoformalisation tools for enterprises to build and scale reliable, agent-based artificial intelligence applications.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Numalis

This company provides formal verification and validation software for artificial intelligence systems to customers in defence, aerospace, transport, and nuclear energy sectors.

Atomic Tessellator

This company develops an AI-driven computational platform for simulating and discovering advanced materials for customers in the aerospace, defence, and energy sectors.

ArgusEye

ArgusEye develops an AI-driven platform for automated threat modelling and product security for manufacturers of embedded systems and software infrastructure.

NestAI

This company develops an adaptive operating system for unmanned vehicles and command platforms to support defence and critical infrastructure operations.

AI Seer

The company develops software to verify information and interpret signals for organisations making high-stakes decisions.

1001 Verse

This company develops a sovereign artificial intelligence operating system for critical infrastructure operators in sectors such as aviation, energy and logistics.