David Simplot, responsable d'Inria Academy

David Simplot, responsable d’Inria Academy

Abonnez-vous

L’Inria Academy disponible en ligne

Pour l’Institut national de recherche en sciences et technologies du numérique (Inria), la relance passe aussi par une meilleure accessibilité à l’offre de formation aux logiciels open source. Son catalogue est désormais disponible en ligne via l’Inria Academy, son organisme de formation continue.

Article réservé aux abonnés du Quotidien de la formation

Par - Le 19 avril 2021.

David Simplot, responsable de l’Inria Academy, nous avait annoncé en septembre 2020 (notre article) que son institution regorgeait de ressources formatives aux logiciels open source. Et il nous avait alors expliqué que la maîtrise de ces solutions technologiques est pour lui un véritable facteur de croissance économique au service du développement des écosystèmes numériques. Après une phase d’expérimentation interne, l’Inria Academy déploie aujourd’hui sa plateforme publique éponyme, qui permet d’accéder à cinq de ses créations phares : Coq Langage de programmation simplifié pour décrire des algorithmes, leurs propriétés et leurs preuves : niveaux débutant et avancé. Pharo Programmation objet avancée…

— Article réservé aux abonnés du Quotidien de la formation —