rust-experts.fr Open in urlscan Pro
51.195.105.106  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Experts Rust @ OCamlPro
 * Présentation
 * Équipe
 * Services
 * Contact

 * 


EXPERTS RUST @ OCAMLPRO

Une équipe de développeurs expérimentés en Rust et en programmation
fonctionnelle pour vos projets logiciels les plus importants

Présentation L'Équipe Services Contactez Nous


PRÉSENTATION

OCamlPro est une entreprise française de développement logiciel, avec une
expertise forte dans les langages de programmation et les méthodes formelles.
Nos développeurs et experts développent du logiciel à haute valeur ajoutée
depuis plus de 10 ans.

Au cours de ces années, nous avons touché à de nombreux domaines, parmi
lesquels:

 * Blockchains: nous avons audité le générateur de code en Rust et les smart
   contracts en Solidity de la blockchain Everscale, nous avons développé les
   prototypes des blockchains Tezos et Dune Network, etc.
 * Outils de développement: nous avons développé une web interface en Rust pour
   le profiler mémoire statistique d'OCaml, nous avons développé et maintenons
   la gestionnaire de paquets Opam, etc.
 * Compilateurs et DSLs: nous avons des membres de l'équipe compilateur d'OCaml,
   nous développons le compilateur optimisant Flambda, ainsi que contributions
   au compilateur GNUCobol.
 * Méthodes formelles: nous avons développé plusieurs outils de méthodes
   formelles en Rust (Matla, SAT-Micro-Rust, Mikino, etc.)
 * Éducation: nous sommes tous diplomés des meilleures écoles d'ingénieurs
   françaises et des meilleures universités, des niveaux masters aux docteurs.

Au fil des ans, le langage Rust est devenu l'un de nos langages favoris,
particulièrement pour les applications à hautes performances.

Agrément CIR: OCamlPro bénéficie d'un agrément CIR, permettant à ses clients de
récupérer 30% des coûts sur les travaux de R&D qui lui sont sous-traités, via le
Crédit Impôt Recherche.


NOTRE ÉQUIPE

Notre équipe est à la fois composée de plusieurs développeurs avec une longue
expérience de Rust, de développeurs plus juniors pour les développements
rapides, et d'experts en langages de programmation, méthodes formelles et
algorithmique.

Adrien C. (PhD)
Avec un diplöme d'ingénieur de l'ENSEEIHT, une thèse de doctorat et un post-doc
au Japon, Adrien possède à la fois une longue expérience de Rust (plus de 9
années), des méthodes formelles et de l'enseignement en France et à l'étranger.
Adrien a développé plusieurs outils de méthodes formelles en Rust, et est le
mainteneur de plusieurs crates dans le domaine.
Arthur C. (PhD)
Après un master d'informatique à l'École Normale Supérieur, Arthur s'est bati
une solide expérience de Rust pendant sa thèse de doctorat à l'Institut Pasteur
où il a pu exploiter les performances de Rust sur des calculs statistiques et
probabilistes.
Mohamed H. C. (Msc)
Avec un master d'informatique à l'Université Paris 6, Mohamed a participé au
développement de plusieurs outils de programmation dans plusieurs langages
fonctionnels, dont Rust et OCaml.
Artemiy R. (Msc)
Avec un master d'informatique à l'Université Paris 6, Artemiy a développé
plusieurs projets, aussi bien dans la blockchain que dans l'outillage
informatique.
Pierre C. (PhD)
Avec un master d'informatique de l'ENS Cachan et une thèse de doctorat sur la
complexité, Pierre est un expert des langages de programmation et de la
compilation en particulier, étant membre de la coreteam du compilaeur OCaml. Le
langage Rust a peu de secrets pour lui.
Fabrice LF. (PhD)
Ancien chercheur en informatique à l'INRIA, diplômé de l'Ecole Polytechnique,
Fabrice est le fondateur d'OCamlPro, et un expert des langages de programmation
et des systèmes distribués. Développeur OCaml depuis plus de 25 ans, il a
développé plusieurs bindings entre OCaml et Rust.


NOS SERVICES

Notre équipe de développeurs Rust expérimentśs est prête à travailler avec vous.
Nous pouvons fournir les services suivants:

 * Conseil et support pendant vos projets de développement logiciel en Rust:
   * Réponses rapides à toutes vos questions autour du langage Rust, mais aussi
     de la programmation en général
   * Évaluation des crates qui pourraient être utilisées dans votre projet;
   * Aide locale pour la correction de certains bugs
   * Revue de parties de votre code et conseils d'améliorations
   * Optimisation des performances de votre code
   * Amélioration des temps de compilation
 * Revue de code pour le suivi des meilleures pratiques de développement Rust
 * Prototypage et développement en Rust, par des ingénieurs spécialisés en R&D
   et pouvant bénéficier du Crédit Impôt Recherche via notre agrément CIR
 * Audit de performance de votre projet pour détecter les meilleures cibles pour
   une migration vers Rust
 * Modernisation logicielle depuis d'anciens langages (Python, Java, etc.) vers
   Rust
 * Formations Rust: plusieurs formations sur Rust sont disponibles sur notre
   site de formations dédié : training.ocamlpro.com

Nos services sont accessibles aussi bien aux développeurs individuels qu'aux
équipes plus conséquentes.


CONTACTEZ NOUS !

Si vous vous demandez si Rust est adapté à votre projet, ou simplement ce que
nous pourrions faire pour vous, le meilleur moyen de le découvrir est de nous
contacter !

Remplissez juste ce formulaire de contact !

Copyright © OCamlPro 2022 | 21, rue de Chatillon, 75014, Paris |
contact@ocamlpro.com | Notice légale