À propos

Qui sommes-nous

Nous imaginons et développons des solutions innovantes sur mesure en connectant la recherche fondamentale et l'excellence académique aux besoins opérationnels des entreprises.

Nous contacter

2011

création

25+

ingénieurs

15+

docteurs (PhDs)

INRIA

essaimage

Points forts

Notre valeur ajoutée

Connecter la recherche fondamentale et l'excellence académique aux besoins concrets du business.

Excellence académique

Une équipe d'experts issus des Grandes Écoles et de doctorats, faisant le lien entre recherche de pointe et défis industriels.

Technologies avancées

Maîtrise des langages les plus complexes, de la vérification formelle, des compilateurs et des systèmes critiques.

Solutions ouvertes & souveraines

Engagement fort envers l'open source et la souveraineté technologique pour des systèmes transparents et maintenables.

Valeurs

Nos valeurs

Excellence

Recrutement des meilleurs talents, excellence académique, pont entre recherche et industrie.

Autonomisation

Indépendance technologique, engagement open source, transfert de connaissances.

Créativité

Veille scientifique permanente, solutions innovantes, R&D moderne.

Confiance

Fiabilité logicielle absolue, relations authentiques, exigence de qualité.

Collaboration

Travail d'équipe agile, synergie des savoirs, animation de l'écosystème.

Engagements

Ce que nous défendons

Open Source

Nous croyons en une technologie ouverte. Nos projets open source – compilateurs, solveurs et outillage – servent les développeurs du monde entier et accélèrent le progrès technique.

Visiter notre GitHub

Souveraineté

Nous défendons l'indépendance en construisant des écosystèmes entièrement souverains. Nos outils et infrastructures sont conçus pour fonctionner en toute sécurité sans dépendances externes étrangères.

Notre approche →

Formation

Nous accompagnons les équipes dans la maîtrise des technologies critiques pour favoriser l'innovation et cultiver les compétences nécessaires au logiciel de haute fiabilité.

Se former →

Histoire

Notre parcours

Issu d'un essaimage de l'INRIA, Titagone est un cabinet de conseil en informatique avancée connectant recherche et innovation.

2011

Création

Fondation de Titagone pour promouvoir OCaml dans l'industrie et faire le lien entre recherche académique et applications concrètes.

2012

Outils TypeRex

Publication de TypeRex, une suite d'outils de développement open source pour l'écosystème OCaml.

2014

Compilateur Flambda

Publication de Flambda, un compilateur optimisant pour OCaml améliorant significativement les performances.

2017

Projet Tezos

Livraison de la plateforme blockchain Tezos et des outils associés (TZScan, langage Liquidity).

2024

Emilien Lemaire

Software Engineer

Get Started

Travaillons ensemble

Contactez-nous

Démarrer une conversation

Laboratoire R&D

Explorer nos recherches

GitHub

Nos projets open source