Inria Academy

Inria Academy

Inria's continuing education system
Verbatim

Expand the use of Inria's opensource software = Empower society by providing access to technology

Inria Academy
Inria's mission is to support companies in their continuous training and internal capacities. To this end, through Inria's continuing education system, focused on digital technologies, support will be provided to Chilean companies as well as to French companies installed in Chile. This training offer is based on the opensource software developed by Inria and its partners to support companies and public services in their digital transformation.

96

trained persons

5

courses

4

software open-source

Inria's open-source software

With almost 1,500 references, the software developed by Inria's research teams represents a significant technological asset that is available to developers and companies. To accelerate the appropriation of this software, Inria Academy offers software training in a wide variety of fields such as Coq, Pharo, RIOT, Scikit-learn, or SOFA.

 

Scikit-learn

Scikit-learn

Scikit-learn is an open-source machine learning library for Python that supports supervised and unsupervised learning. It also provides various tools for model fitting, data pre-processing, model selection and evaluation, and many other utilities.

RIOT

RIOT

RIOT is a free, open-source operating system developed by a grassroots community of businesses, academics, and enthusiasts, distributed worldwide. RIOT aims to implement all relevant open standards that support an Internet of Things that is connected, secure, enduring, and privacy-friendly.

Pharo

Pharo

Pharo is an immersive programming experience. Pharo is a pure object-oriented programming language and, power environment focused on simplicity and immediate feedback.

SOFA

SOFA

SOFA is an open-source framework oriented to real-time simulation, with emphasis on medical simulation. SOFA helps to promote new algorithms and can also be used as an efficient prototyping tool.

COQ

COQ

CCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.