O

OCamlPro

Request removal

For too long a time, the OCaml language has been developed by academics for academics. OCamlPro aims to provide business-level and long-term support to the OCaml language to make it more suitable for use in a wider range of professional environments. OCamlPro is a French software company born in 2011 and located in Paris and Essonne. We are dedicated to improving the quality of software, through the use of formal methods. For that purpose, OCamlPro promotes the use of OCaml, a fast and expressive, statically typed state-of-the-art programming language, matured for more than 30 years in the French public research lab Inria. OCamlPro also develops verification tools, such as the Alt-Ergo theorem prover. Today, we are mostly focusing on three topics: * Formal methods: OCamlPro is involved in collaborative projects with academic and industrial partners to develop tools for software verification, such as the Alt-Ergo SMT Solver (from LRI). * Blockchains: since 2014, OCamlPro has been deeply involved in the development of the Tezos ledger and helped design the Tezos prototype, as well as developed the ICO infrastructure of Tezos on Bitcoin and Ethereum. Since April 2018, OCamlPro has been working for the Tezos Foundation on the Tezos codebase to prepare for the launch. Additionally, OCamlPro initiated several Tezos-related projects, such as TZScan (https://tzscan.io), the Tezos Block Explorer, and Liquidity, a higher-level programming language for smart contracts (http://liquidity-lang.org/), with initial tooling for formal verification using the Why3 (INRIA) and Alt-Ergo tools. * OCaml tooling: we help optimize OCaml (flambda) and design development tools for OCaml (open-source most of the time). Such tools range from command-line tools (such as OPAM or ocp-build), or GUI tools (the OCaml Memory Profiler), to web-based tools (TryOCaml, the OCaml MOOC with the learn-OCaml platform of the OCaml Foundation of Inria).

Get valid emails for people working at OCamlPro and 200M other companies
20 free emails each month. No credit card required.
500M
Business Profiles
20M
Company Profiles
200M
Email addresses
98%+
Email Delivery
OCamlPro's headquarter address
Line 1: Paris, Ile de France
OCamlPro's industries
IT System Custom Software Development
OCamlPro's technology
Bootstrap Framework Gmail Google Analytics Google Apps Google Font API Kubernetes Mobile Friendly VueJS WordPress.org
People working at OCamlPro
FF
Fabrice Le Fessant
Founder and Scientific Advisor
Paris, Île-de-France, France
MF
Muriel SHAN SEI FAN
Président
Paris, Île-de-France, France
AD
Aurore Drombry
Chargée de communication
Paris, Île-de-France, France
AC
Adrien Champion
Senior Research And Development Engineer
Paris, Île-de-France, France
HA
Hichem R. A.
Research And Development Engineer
Paris, Île-de-France, France
DD
David Declerck
R&D engineer
Paris, Île-de-France, France
JB
Julien Blond
R&D Engineer
Paris, Île-de-France, France
SO
Steven de Oliveira
Ingénieur de Recherche
Paris, Île-de-France, France
AR
Artemiy Rozovyk
Research And Development Engineer
Paris, Île-de-France, France
GB
Guillaume Bury
Research And Development Engineer
Paris, Île-de-France, France
You can find 13 people working at OCamlPro on FinalScout. Create a free account to view details including email addresses.
Find emails from LinkedIn for free
20 free emails each month. No credit card required.
Regular search results
Search for leads on linkedin.com and scrape the search results
Sales Navigator search results
Search for leads in LinkedIn sales navigator and scrape the search results
Group members
Scrape members from any LinkedIn group without joining it
Event attendees
Scrape event attendees from any LinkedIn event
Directory