Commit 41cd9c84 authored by Dario Pinto's avatar Dario Pinto
Browse files

minor changes for Team page css and R&D

parent f54711f5
......@@ -24,7 +24,7 @@ body {
}
.card-image {
max-width: 200px;
max-width: 10em;
}
#page-title {
......
......@@ -13,20 +13,18 @@
<h3>
MONEYTRACK Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
<p><emph>
<h5>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.
</emph>
</p>
</h5>
In this collaborative three-year project, OCamlPro, in association with WizyPay, Fintech Entreprises, Keyrus, Inria Paris and ESILV, is helping other partners to design a platform to reinvent non fungible directed money systems. The main innovation of the platform is the application of state-of-the-art blockchain technologies such as Tezos, with formal verification technologies. OCamlPro’s work is partially funded by Region Ile-de-France.
</div>
<div class="col-lg-6">
<h3>
LCHIP Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
<p><emph>
<h5>
A blockchain R&D Project to reinvent non fungible directed money systems with a smart-contract language.
</emph>
</p>
</h5>
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.
</div>
</div>
......@@ -66,18 +64,18 @@
<h3>
SecurOCaml Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
<p><emph>
<h5>
Integrate security features in the OCaml language.
</emph></p>
</h5>
In this collaborative three-year project, OCamlPro works with CEA,INRIA, Lexifi, Trust-In-Soft and Safe River to build 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.
</div>
<div class="col-lg-6">
<h3>
UCF Project <a href="https://fr.wikipedia.org/wiki/Fonds_unique_interminist%C3%A9riel">[FUI]</a>
</h3>
<p><emph>
Developing the TryOCaml platform for OCaml coding in a browser.
</emph></p>
<h5>
Developing the TryOCaml platform for OCaml coding in a browser.
</h5>
In this collaborative three-year project, OCamlPro works with the startups Alterway and XWiki, and the academic research laboratories of University Pierre et Marie Curie, and Denis Diderot, to develop a DSL . It is also contributing to the design of MOOC Platforms, including the OCaml MOOC. OCamlPro’s work is partially funded by BPI France.
</div>
</div>
......@@ -88,18 +86,18 @@
<h3>
BWare Project <a href="https://anr.fr">[ANR]</a>
</h3>
<p><emph>
<h5>
Proof-Based Mechanized platform for the Verification of B Proof Obligations Project.
</emph></p>
</h5>
Launch of the collaborative three-year project BWare with INRIA, the LRI Lab, the Clearsy Company, MERCE (Mitsubishi Electric R&D Centre Europe), CNAM’s CEDRIC lab. OCamlPro is improving the automatic theorem provers used by Atelier B, especially the Alt-Ergo SMT solver. This project is partially funded by the French National Research Agency.
</div>
<div class="col-lg-6">
<h3>
Dorm Project <a href="https://en.wikipedia.org/wiki/European_Regional_Development_Fund">[ERDF]</a>
</h3>
<p><emph>
Developing the TryOCaml platform for OCaml coding in a browser.
</emph></p>
<h5>
Developing the TryOCaml platform for OCaml coding in a browser.
</h5>
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.
</div>
</div>
......
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