Retour à la liste des exposants
OCAMLPRO / Stand : C6-D5
Secteur d'activité :
METHODE ET QUALITE
INNOVATION
SECURITE/CYBERSECURITE
INFRASTRUCTURES
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
Retour à la liste des exposants