Labs turns hard problems into provable methods: formal verification, control, and the tooling that makes AI-driven finance governable.

Labs is the group's technology arm, where applied research becomes infrastructure. It develops the verification and control technology the rest of the group depends on, then incubates the teams that carry it forward.