Research and Development

Industrial Research

FUI LCHIP

In this collaborative three-year project, OCamlPro is helping Clearsy to develop a development platform for embedded software, targeting cheap microcontrollers for the railways industry. The main innovation of the platform is that the code will be automatically proven using the SMT solver Alt-Ergo, developed and maintained by OCamlPro.  OCamlPro’s work is partially funded by Region Ile-de-France.

FUI SecurOCaml

In this collaborative three-year project, OCamlPro is building an environment for the development of security applications in OCaml, in particular auditing tools and static analysers, such as a detector for uncaught-exceptions. OCamlPro’s work is partially funded by the Conseil Général de l’Essonne.

FUI UCF

In this collaborative three-year project, OCamlPro is developing a DSL to design responsive websites. It is also contributing to the design of MOOC Platforms, including the OCaml MOOC. OCamlPro’s work is partially funded by BPI France.


Past Projects

FEDER Dorm

The goal of this project was to design the next generation of package managers for Java and similar languages. For OCamlPro, the main outcome was the OPAM package manager, who has become the official package manager for the OCaml.

FUI Richelieu

In this collaborative two-year project, OCamlPro has been developing static analyses and partial typing for the Scilab language. These analyses were used to develop style-checking tools, such as Scilint. OCamlPro’s work is partially funded by the Conseil Général de l’Essonne.

Fundamental Research

ANR Bware

In this collaborative three-year project funded by the French state, OCamlPro is improving the automatic theorem provers used by Atelier B, especially the Alt-Ergo SMT solver.

 

ANR Soprano

In this collaborative four-year project funded by the French state, OCamlPro is improving Alt-Ergo in order to address verification of floating point computations.

 

ANR Vocal

In this collaborative four-year project funded by the French state, OCamlPro is developing an OCaml library of formally proved modules, to be used in static analyzers and theorem provers.

 


Funders

logo_essonne logo-paris-region

logo_bpifrance

logo_anr

Need more info?

Contact us at contact@ocamlpro.com.

We’ll get back to you and answer all the questions you have about how our Software Development expertise can benefit to your team.