OCAMLPRO / Stand : C6-D5

Présentation :

OCamlPro est une PME issue de l'Inria experte en OCaml, langage à la pointe issu de 30 ans de recherche. Activités: prototypage logiciel, blockchains, compilateurs, méthodes formelles, sûreté, protocoles réseau. Clients internationaux: Facebook, JaneStreet (HFT), Citrix (XEN), DLS, Tezos Found.).Nombreux partenariats académiques:Inria/CNRS/ENS/LRI