Real assurance, real environments.

A selection of projects where AQ has delivered verification, validation, and assurance for machine learning systems in safety-critical industries.

oil & gas / energy

ML Workflow Verification for Global Inspection Company

AQ verified a machine learning workflow for a global inspection company operating in the energy sector. The engagement covered model assumptions, data quality, and interpretability including distilling over 100 classifiers into a single interpretable model.

case_study() →
maritime

Digital Twin Verification for Lloyd's Register

AQ provided verification of a voyage data recorder digital twin supporting Lloyd's Register certification for Furuno's HERMACE system. The work included systems engineering, software-in-the-loop test design, and reliability quantification.

view_source() →
safety-critical / gov

Probabilistic Programming Training HSE

AQ engineers delivered specialist training on probabilistic programming for risk and safety to the science division of the Health and Safety Executive (HSE).

case_study() →
academia & industry

ML for Digital Twins Training Programme

AQ designed and delivered training on using machine learning to model physical systems for digital twin applications, covering applied statistical ML, workflow design, and practical model evaluation.

case_study() →

Have a project that needs assurance?

Tell us about your model, your deployment context, and your assurance requirements.

start_project()