Research and Development

Many OCamlPro engineers have a PhD in Computer Sciences, mostly in Formal Methods. OCamlPro keeps strong tights with academic research, and can be involved in collaborative R&D projects, where this expertise in either OCaml or formal methods can be useful.

The BWare ANR Project

In this 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.

The Richelieu FUI Project

In this two-year project funded by the French state, OCamlPro is developing static analyses and partial typing for the Scilab language. These analyses will be used to develop style-checking tools, such as Scilint, and a JIT compiler for Scilab.