OCAMLPRO
Informatique · GIF SUR YVETTE · Île-de-France
Présentation
OCAMLPRO est une agence informatique basée à Gif‑sur‑Yvette, spécialisée en conception de langages, méthodes formelles, audit, optimisation et formations (OCaml, Rust, COBOL).
OCAMLPRO est une agence/PME informatique basée à Gif‑sur‑Yvette. Elle propose des prestations de consulting et de développement autour de la conception de langages, des méthodes formelles et de l’ingénierie logicielle, en promouvant l’usage de langages comme OCaml et Rust. Ses expertises incluent la conception de Domain Specific Languages, l’audit et la vérification de code, la génération de tests, l’optimisation de code, la modernisation d’infrastructures COBOL (SuperBOL, GnuCOBOL), ainsi que des formations techniques et des missions de tech lead et support opérationnel. OCAMLPRO met en avant l’utilisation de méthodes formelles et d’outils spécifiques (par ex. Alt-Ergo, générateurs de tests) pour des projets nécessitant rigueur et vérification. OCAMLPRO est prestataire agréé CII pour la période 2024–2026. Les dépenses confiées à un prestataire agréé peuvent, sous réserve d’éligibilité du projet, entrer dans le calcul du Crédit d’Impôt Innovation de l’entreprise cliente.
Expertises
- Conception de langages
- Audit et vérification
- Optimisation de code
- Développement en OCaml
- Développement en Rust
- Modernisation COBOL
- Formations techniques
Agrément CII
Les informations d'agrément sont fournies à titre indicatif. L'agrément CII est délivré par la DRIEETS, seule habilitée à en confirmer officiellement la validité.
Coordonnées
Localisation
GIF SUR YVETTE, 91190, Essonne, Île-de-France, France
Questions fréquentes sur OCAMLPRO
OCAMLPRO est-il un prestataire agréé CII ?
Oui. D'après les données de l'annuaire CapCII, OCAMLPRO dispose de l'agrément Crédit d'Impôt Innovation (CII) pour la période 2024–2026.
Où est situé OCAMLPRO ?
OCAMLPRO est basé à GIF SUR YVETTE, Île-de-France.
Quelles sont les expertises de OCAMLPRO ?
OCAMLPRO intervient notamment en : Conception de langages, Audit et vérification, Optimisation de code, Développement en OCaml, Développement en Rust, Modernisation COBOL, Formations techniques.
Que permet l'agrément CII de OCAMLPRO à ses clients ?
Les dépenses qu'une entreprise confie à un prestataire agréé CII, comme OCAMLPRO, peuvent être intégrées dans le calcul de son Crédit d'Impôt Innovation, sous réserve que son projet soit éligible. L'agrément du prestataire ne garantit pas à lui seul l'éligibilité du projet.
Comment contacter OCAMLPRO ?
Vous pouvez contacter OCAMLPRO via son site web, accessibles depuis cette fiche de l'annuaire CapCII.
Faire appel à un prestataire agréé CII : quel avantage ?
En faisant appel à un prestataire agréé CII, vous pouvez potentiellement récupérer jusqu'à 80 000 € par an (en Métropole) en CII en intégrant le montant de ses factures dans vos dépenses d'innovation, sous réserve d'éligibilité de votre entreprise, du projet et des dépenses. En moyenne, une entreprise récupère 47 000 € par an en CII1, ce qui peut représenter plus de 100 % du montant total facturé par le prestataire agréé CII.
1 Montant moyen de CII par entreprise déclarante (données 2023, MESR — Ministère de l'Enseignement supérieur et de la Recherche). Le plafond des dépenses d'innovation est de 400 000 € par an, soit jusqu'à 80 000 € de CII en Métropole (taux de 20 %). Dans les DOM, le taux pouvant atteindre 60 %, le crédit d'impôt peut monter jusqu'à 240 000 € par an.
Domaines d'expertise
Autres prestataires agréés CII proches de OCAMLPRO
AFERSYS
PARIS 14 · Île-de-France
AFERSYS est une ESN basée à Paris (14e) spécialisée en informatique et technologies digitales pour l'architecture et la construction. Prestataire agréé CII.
GALEIO
CACHAN · Île-de-France
GALEIO est une agence d'informatique basée à Cachan qui développe des modèles géospatiaux et des solutions d'analyse d'images satellitaires pour divers usages.
ACENSI SAS
COURBEVOIE · Île-de-France
ACENSI SAS est une ESN spécialisée en conseil en systèmes et logiciels informatiques, basée à Courbevoie. Prestataire agréé CII 2024‑2026.
CLEARSY
AIX EN PROVENCE · Provence-Alpes-Côte d'Azur
CLEARSY est une PME française basée à Aix-en-Provence, spécialisée dans la conception de logiciels et systèmes sûrs (SIL1–SIL4) pour le ferroviaire et autres secteurs.
DEFACTO TECHNOLOGIES
GRENOBLE · Auvergne-Rhône-Alpes
DEFACTO TECHNOLOGIES est une société grenobloise éditrice de logiciels et d'outils de conception de circuits intégrés, spécialisée dans les plateformes RTL et la vérification.
GIPS VISION
MARSEILLE 04 · Provence-Alpes-Côte d'Azur
GIPS VISION est une agence spécialisée en contrôle non destructif et vision industrielle, basée à Marseille (04), offrant imagerie numérique et inspection.