Paris Open Source Summit



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



Partenaires
Participants