Nos formations

Inria Academy forme les ingénieurs aux logiciels open source diffusés par Inria et ses partenaires. Les modules de formation sont dispensés par les scientifiques de l’institut national de recherche en sciences et technologies du numérique qui sont au cœur du développement de ces logiciels.

démonstration sur ordinateur Méthodes formelles

Coq, la preuve par le logiciel

Coq fournit un langage de programmation simplifié pour décrire des algorithmes, les propriétés logiques de ces algorithmes et leurs preuves. Ce langage est assez puissant pour décrire des logiciels avancés, comme une machine virtuelle Java, un compilateur C ou un micro-processeur.

Niveau(x) disponible(s)

Débutant

Avancé

génie logiciel programmation objet

Pharo, la programmation objet avancée

Repenser la programmation orientée objet grâce à Pharo un langage objet pur, réflexif, dynamique.

Niveau(x) disponible(s)

Débutant

Internet des Objets

RIOT, l’OS adapté à l’Internet des objets

Véritable « Linuxde l’Internet des objets », RIOT est un système d'exploitation libre, qui agrège une communauté d’utilisateurs et d'utilisatrices de plus en plus importante, qui connaît de nombreuses applications commerciales.

Niveau(x) disponible(s)

Débutant

apprentissage automatique Intelligence artificielle

Scikit-learn, la boîte à outils de l’apprentissage automatique

Le but de la formation est d’apprendre à bien utiliser la bibliothèque scikit-learn tout en donnant une compréhension intuitive de l’apprentissage automatique (machine learning) afin d’éviter les écueils méthodologiques.

Niveau(x) disponible(s)

Débutant

robotique Santé Simulation temps-réel

SOFA, le moteur de simulation multiphysique

SOFA permet de modéliser des systèmes d’objets physique et leur évolution dans des domaines comme les applications médicales, le jeu vidéo ou la robotique.

Niveau(x) disponible(s)

Débutant

Avancé