Impact prouvé, résultats concrets
Découvrez comment nous aidons les leaders de la finance, du spatial ou du secteur public à résoudre leurs défis les plus critiques grâce à notre expertise scientifique.
Du défi à la solution
SeaCoral : Automatisation avancée des tests pour le code C critique
Découvrez comment Titagone a aidé Thales à renforcer son code C critique grâce à la génération de tests automatisés, combinant fuzzing, tests concoliques et model checking via des outils de recherche de pointe.
Aéronautique & Défense
Accélérer le trading quantitatif
Découvrez comment Titagone a aidé Jane Street à réaliser 20 % de gain de performance sur ses systèmes de trading quantitatif grâce à des optimisations avancées du compilateur OCaml.
Fintech
Modernisation de l'infrastructure COBOL avec GnuCOBOL
Comment nous avons modernisé les systèmes financiers publics français en migrant des applications COBOL critiques vers Linux avec GnuCOBOL, au service de 40,7 millions de contribuables.
Administration
Kopek : Apporter de la transparence à la répartition des revenus cinéma
Apporter de la transparence à la répartition des revenus cinématographiques grâce à un langage dédié (DSL) permettant de modéliser les cascades financières complexes.
Cinéma
Propulser la vérification de programmes par SMT pour l'industrie
Découvrez comment Alt-Ergo est passé d'un prototype de recherche à un solveur SMT industriel, atteignant 98 % de succès en preuve automatique pour les systèmes critiques.
Recherche
Owi : Une exécution symbolique fluide pour WebAssembly
Rendre l'exécution symbolique accessible via WebAssembly, supportant le C, C++ et Rust avec une interface web interactive.
Recherche
Pionnier de la première blockchain Proof-of-Stake
Pionnier de l'une des premières blockchains Proof-of-Stake, traitant 250 millions de dollars en ICO en quelques semaines.
Fintech