Julien Blond

Île-de-France . Paris - France

Julien Blond 的邮箱和电话

电子邮件 jul***@***.com

Julien Blond 当前工作场所

OCamlPro

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).

Julien Blond 简介

公司 OCamlPro
职位 R&D Engineer
地点 France
LinkedIn http://www.linkedin.com/in/julien-blond-a85bb073
部门 master_engineering_technical
头衔 R&D Engineer

Julien Blond 的常见问题(FAQs)

Julien Blond 在哪家公司工作?

Julien Blond 在 OCamlPro 担任 R&D Engineer

Julien Blond 在 OCamlPro 的职位是什么?

Julien Blond 在 OCamlPro 的职位是 R&D Engineer

Julien Blond 的电子邮件地址是什么?

Julien Blond 的电子邮件地址是 jul***@***.com

Julien Blond 的电话号码是什么?

Julien Blond 的电话号码是 -

Julien Blond 的工作电话号码是什么?

Julien Blond 的公司电话号码是 +331****

Julien Blond 从事哪个行业?

Julien Blond 在 information technology & services 工作。

Julien Blond 的同事是谁?

Julien Blond 的一些同事包括Guillaume Bury、Adrien Champion、Julien Blond、Steven OliveiraDavid Declerck、。

我如何联系 Julien Blond?

Julien Blond联系方式: 电子邮件地址:jul***@***.com 电话号码:-

Julien Blond 的个人领英是多少

Julien Blond 的个人领英是:http://www.linkedin.com/in/julien-blond-a85bb073

Julien Blond 的办公地点在哪里?

Julien Blond 的办公地点:Rue de Châtillon, Paris, Ile de France 75014, FR

同名人员

Julien Blond

Technology Transfer Team Leader

外贸获客 查找关键决策人

10亿+海关交易数据,1.2亿企业数据,2亿+企业联系人数据,1000千万真实采购商。覆盖200+个国家及地区,95%外贸重点拓展市场,可根据行业、经营范围等多方位挖掘目标客户。
免费试用

Top-ranked on G2 Crowd

全球B2B企业库 海关贸易数据 展会采购数据

工作更少,成就更大,销售更聪明

查找更多 B2B 联系人,丰富并验证记录
Email Address

全球B2B企业库

海关贸易数据

展销采购数据

Top-ranked on G2 Crowd

OR
Sign Up with Google