Modifier ou compléter cette fiche

Concernant : OCAMLPRO

OCAMLPRO

GIF-SUR-YVETTE, FR

SIREN : 531468429 (non modifiable)

Modifications proposées

Renseignez les informations que vous souhaitez modifier ou ajouter.

Site web

À propos

Titagone/OCamlPro est à la fois un éditeur de logiciels, spécialisé dans la résilience et la qualité logicielle, et un bureau d'étude (R&amp;D) pour les solutions innovantes. Avec plus de 25 ingénieurs R&amp;D, dont 80% de docteurs en informatique, l'entreprise fait le pont entre plus de 15 ans d'expérience du développement informatique et un ADN proche des milieux académiques et open-source.

L'activité d'éditeur de logiciels, portée par l'enseigne Titagone, propose d'une part SuperBOL/GnuCOBOL, une offre souveraine et open-source avec un environnement complet pour l'exécution du COBOL, déjà adoptée par plusieurs administrations et grandes entreprises, et d'autre part des outils de développement pour améliorer la qualité logicielle, et en particulier la détection/suppression de bugs, comme l'outil SeaCoral de génération automatique de tests unitaires pour le C embarqué.

L'activité de bureau d'étude, portée par le nom historique OCamlPro, relève des défis de conception complexes grâce à des méthodes formelles. Elle développe des solutions sur mesure, telles que la création de langages dédiés (comme le langage Niagara, qui remplace les fichiers Excel pour les producteurs de cinéma, aujourd'hui commercialisé par la Spinoff Kopek), l'audit de code, la vérification et l'optimisation. Pour ce faire, elle s'appuie sur l'utilisation de langages de programmation de pointe fortement typés, comme OCaml et Rust.

Minimum 20 caractères si renseigné. Vous pouvez utiliser des paragraphes pour structurer le texte.

Vos coordonnées

Ces informations nous permettent de vous contacter si nécessaire.

Votre email *

Fonction dans l'organisation *

Validation

Je certifie être habilité(e) à représenter cette organisation *

En cochant cette case, vous confirmez avoir l'autorisation de proposer des modifications au nom de cette organisation.

Je certifie que cette organisation a son siège social, son établissement principal et son administration centrale en France ou dans un pays de l'Union européenne *

S'inscrire à la newsletter du CSF Solutions Numériques de Confiance

Recevez les actualités de la filière et, notamment, du catalogue.

Annuler

Vos données sont traitées conformément à notre politique de confidentialité. Votre email ne sera utilisé que pour vous informer du traitement de votre demande.

Pour toute autre demande

Si vous souhaitez signaler une erreur sur le numéro SIREN, commenter une fiche d'une organisation que vous ne représentez pas, ou faire une autre demande, veuillez nous contacter via la page À propos.