Solutions built around your industry
The same methods, applied to very different constraints. A bank modernising COBOL and a manufacturer certifying a controller need the same guarantees and almost nothing else in common.
Where we work
Each sector page sets out the constraints we meet there, the tools we bring, and the work we have already delivered.
Insurance, banks & public admin
COBOL modernisation with no rewrite and no proprietary lock-in, in production at the DGFiP.
Industry & cybersecurity
Software and infrastructure security for critical systems, up to Common Criteria certification.
Fintech & startups
Financial systems with mathematical guarantees, from smart contracts to risk engines.
Operations research
Mathematicians specialised in industrial optimisation: scheduling, routing and planning.
AI verification & safety
We do not only build AI systems, we prove what they do, with 15 years of formal methods behind us.
Tailored services
Academic-grade research for problems with no off-the-shelf answer.