Inria Academy
Inria Academy
Inria's continuing education system
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 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 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 is an immersive programming experience. Pharo is a pure object-oriented programming language and, power environment focused on simplicity and immediate feedback.
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.
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.
