Unverified Commit 14681484 authored by zapashcanon's avatar zapashcanon
Browse files

complete r&d page

parent 27403c32
......@@ -6,7 +6,7 @@
<br />
### FUI MONEYTRACK
### MONEYTRACK Project [[FUI]]
*A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.*
......@@ -14,7 +14,7 @@ In this collaborative three-year project, OCamlPro, in association with WizyPay,
<br />
### FUI LCHIP
### LCHIP Project [[FUI]]
*A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.*
......@@ -24,7 +24,17 @@ In this collaborative three-year project, OCamlPro is helping Clearsy to develop
## Fundamental Research
TODO (see french page)
<br />
### Soprano Project [[ANR]]
During this collaborative four years project funded by the French government, OCamlPro has added to Alt-Ergo the ability to verify floating-point computations.
<br />
### Vocal Project [[ANR]]
During this collaborative four years project funded by the French government, OCamlPro designed and implemented an OCaml library of formally verified modules that may be used in static analyzers and theorem provers.
<hr class="featurette-divider">
......@@ -32,7 +42,7 @@ TODO (see french page)
<br />
### FUI SecurOCaml
### SecurOCaml Project [[FUI]]
*Integrate security features in the OCaml language.*
......@@ -40,7 +50,7 @@ In this collaborative three-year project, OCamlPro works with CEA,INRIA, Lexifi,
<br />
### R&D UCF
### UCF Project [[FUI]]
*Developing the TryOCaml platform for OCaml coding in a browser.*
......@@ -48,7 +58,7 @@ In this collaborative three-year project, OCamlPro works with the startups Alter
<br />
### ANR BWare
### BWare Project [[ANR]]
*Proof-Based Mechanized platform for the Verification of B Proof Obligations Project.*
......@@ -56,13 +66,13 @@ Launch of the collaborative three-year project BWare with INRIA, the LRI Lab, th
<br />
### FEDER Dorm
### Dorm Project [[ERDF]]
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.
<br />
### FUI Richelieu
### Project Richelieu [[FUI]]
This collaborative two-year R&D project aimed at industrializing and adapting VMKit (based on LLVM) to address the issues of scientific programming languages, particularly in terms of performance thanks to “JIT” compilation. With Scilab Entreprises, Université Pierre et Marie Curie (UPMC) LIP6 research lab, Dassault Aviation, Arcelor Mittal, CNES, Silkan and Inria Saclay as partners, OCamlPro was developing static analysis and partial typing for the Scilab language. OCamlPro’s work was partially funded by the Conseil Général de l’Essonne.
......@@ -91,3 +101,7 @@ This collaborative two-year R&D project aimed at industrializing and adapting VM
<p><a href="https://www.iledefrance.fr"><img src="/assets/img/logo_idf.svg" width="150"/></a></p>
</div>
</div>
[ANR]: https://anr.fr
[ERDF]: https://en.wikipedia.org/wiki/European_Regional_Development_Fund
[FUI]: https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment