Adhérents personnes morales

OCAMLPRO

OCAMLPRO

OCamlPro est une spinoff de l'Inria créée en 2011. Nous concevons et développons des applications complexes à partir de langages à l'état de l'art tels OCaml et Rust. Avec une expertise ancrée sur les Méthodes formelles, nous aimons concevoir, prototyper et implémenter des langages dédiés (DSLs), des outils de vérification logicielle, des plates-formes distribuées telles que des blockchains (Tezos, de 2014 à 2017).

En savoir plus