Profil : David Simplot
M. David Simplot
Professional Education Officer to the CEO
Full professor, Professional Education Officer at Inria in charge of Inria Academy since november 2019
Docteur
HPC
HPDA
IA
Organisme
Inria est l’institut national de recherche en sciences et technologies du numérique. La recherche de rang mondial, l’innovation technologique et le risque entrepreneurial constituent son ADN. Au sein de 200 équipes-projets, pour la plupart communes avec les grandes universités de recherche, plus de 3 900 chercheurs et ingénieurs y explorent des voies nouvelles, souvent dans l’interdisciplinarité et en collaboration avec des partenaires industriels pour répondre à des défis ambitieux. Institut technologique, Inria soutient la diversité des voies de l’innovation : de l’édition open source de logiciels à la création de startups technologiques (Deeptech).
HPC
HPDA
IA / Machine learning / Deep learning
Quantique
Offres de David Simplot
Formation continue
Coq, la preuve par le logiciel
Le système Coq fournit un langage de programmation simplifié pour décrire des algorithmes, les propriétés logiques de ces algorithmes, et les preuves que les propriétés logiques sont satisfaites. La caractéristique clé de ce langage est une version approfondie du typage comme on le trouve dans les langages de programmation conventionnels.
Langage de programmation
Méthodes formelles
Formation continue
Pharo, la programmation objet avancée
Après cette formation vous ne coderez plus pareil, et ceci avec n'importe quel langage objet. En utilisant des techniques telles que Xtreme Test Driven Development, des exemples déstabilisants mais extrêmement riches et formateurs et en proposant une immersion dans Pharo un langage objet pur, réflexif, et dynamique.
Langage de programmation
Mooc
The Pharo MOOC
Bienvenue sur le Pharo Mooc (un ensemble de vidéos, d'exercices, de défis et de miniprojets). Le Pharo Mooc est entièrement doublé en français et en anglais. Il est livré avec des sous-titres en japonais, anglais, français et espagnol. Ce site web contient tout le matériel de ce Mooc en libre accès.
Langage de programmation
Formation continue
RIOT, l’OS adapté à l’Internet des objets
RIOT est un système d'exploitation gratuit et open source développé par une communauté internationale regroupant des entreprises, des universitaires et des makers. RIOT vise à mettre en œuvre toutes les normes ouvertes pertinentes pour soutenir un Internet des objets sécurisé, à basse consommation énergétique, durable.
Système d'exploitationt open source
Mooc
L'Internet des Objets sur microcontrôleurs par la pratique
Développeur·se, étudiant·e en informatique, ingénieur·e ou tout simplement maker fan de technologie, devenez acteur·rice de l'Internet des objets ! Programmation d'objets connectés, programmer et expérimenter l'IoT sans avoir besoin de matériel spécifique, découvrir et utiliser la plateforme d'expérimentation FIT IoT-Lab...
Système d'exploitation open source
Formation continue
Scikit-learn, la boîte à outils de l’apprentissage automatique
Le but de la formation est d’apprendre à bien utiliser la bibliothèque machine learning tout en donnant une compréhension intuitive de l’apprentissage automatique (machine learning) afin d’éviter les écueils méthodologiques.
IA / Machine learning / Deep learning
Data analytics, data management
Formation continue
SOFA, le moteur de simulation multiphysique
Particulièrement utilisée dans des applications médicales ou robotiques, la plate-forme SOFA permet de modéliser la physique d'objets rigides et déformables, et leurs interactions. Par l'utilisation de scripts Python ou XML, il est possible de développer efficacement de nouvelles simulations utilisant les modèles et d’algorithmes de SOFA.
Simulation numérique
Mooc
L’Intelligence Artificielle... avec intelligence !
Class’Code IAI est un MOOC citoyen accessible à toutes et à tous de 7 à 107 ans pour se questionner, expérimenter et comprendre ce qu’est l’Intelligence Artificielle… avec intelligence !
Intelligence Artificielle
Mooc
Machine learning in Python
Build predictive models with scikit-learn and gain a practical understanding of the strengths and limitations of machine learning! The training will be essentially practical, focusing on examples of applications with code executed by the participants.
Intelligence Artificielle
Logiciel
Coq : Preuve formelle
Coq 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. Typical applications include the certification of properties of programming languages.
Preuves formelles
Mooc
Coq : aspects pratiques de la théorie des types
"Assistant de preuve", le logiciel Coq a été créé il y a plus de trente ans chez Inria pour la vérification des programmes informatiques et des théorèmes mathématiques. Un outil précieux pour les informaticiens qui l’utilisent pour la vérification mais aussi comme une aide à l’écriture. Et pour les mathématiciens, séduits par ses performances.
Preuves formelles
Mooc
Formal Methods for the Informal Engineer: Coq
Three-hour video introduction of Coq by Cody Roux at the Formal Methods for the Informal Engineer workshop 2021.
Preuves foremelles
Logiciel
MedInria
MedInria est un logiciel de visualisation en 2D/ 3D/ 4D et de traitement d'images médicales gratuit et open source, offrant un large panel de fonctionnalités à destination des chercheurs et des praticiens de santé. Des algorithmes de haut niveau, mais une interface très simple d'utilisation.
Data Analytics
Visualisation
Traitement d'images médicales
Logiciel
Mmg Platform
Créée en 2004, la plate-forme open source Mmg fournit des applications et des bibliothèques logicielles permettant la modification automatique des maillages des objets virtuels créés en 3D. Elles est Développée conjointement par Inria, l’université de Bordeaux, Bordeaux INP, l’université Pierre et Marie Curie et le CNRS.
Simulation numérique
Maillage
Logiciel
OpenViBE
Traiter les signaux électriques liés à l'activité cérébrale et les traduire en commande pour des machines, c'est le rôle des interfaces cerveau-ordinateur. Conçu pour faciliter l'utilisation de ces interfaces, le logiciel OpenViBE permet aujourd’hui de concevoir, tester et utiliser facilement des interfaces cerveau-ordinateur.
interfaces cerveau-ordinateur
Mooc
OpenVIBE - Agir par la pensée
Introdution au logiciel OpenVIBE qui facilite l'utilisation des interfaces cerveau ordinateur pour commander une machine à partir de la pensée.
Interface cerveau-ordinateur
Logiciel
Pharo
Une plate-forme open source de développement logiciel simple et stable, adaptable à toutes les missions de développement même les plus critiques : c'est le rôle du logiciel Pharo. Le consortium Pharo fédère des utilisateurs très variés avec des industriels comme Synectique, Thales, Lifeware...
Développement logiciel
Logiciel
Scikit-learn
Scikit-learn est une bibliothèque libre d’apprentissage statistique en Python. Elle est dédiée à l’apprentissage automatique (machine learning) et peut être utilisée comme middleware, avec des applications dans la lutte contre la fraude et le spam, le ciblage marketing, la prévision du comportement des utilisateurs ...
IA / Machine Learning / Deep Learning
Logiciel
Shanoir (SHAring NeurOImaging Resources)
Shanoir (SHAring NeurOImaging Resources) est une solution logicielle open source pour partager, archiver, chercher et visualiser des données de neuro-imagerie. Elle offre un accès web sécurisé et propose un workflow intuitif pour faciliter la collecte et l'import de données de neuro-imagerie depuis des sources multiples (CD/DVD Dicom, réseau...°
Data Management
Données de neuro-imagerie
Logiciel
SOFA
Modéliser des systèmes d'objets physiques et leurs évolutions, tel est le rôle de SOFA, un logiciel qui intègre aujourd’hui un grand nombre de modèles et d’algorithmes, permettant ainsi le développement rapide de nouvelles simulations. Ses domaines d’applications ? Le vivant avec des applications médicales, la robotique, et les jeux vidéos...
Simulation numérique
Mooc
Sofa & Soft Robotics: First Steps Tutorial
Welcome to this First Steps tutorial with Sofa for Soft Robotics! This introduction tutorial to the open source framework Sofa is presented by the Defrost team of the INRIA Lille Nord Europe. It is intended for people who wish to start using the simulation plateform Sofa for the simulation of physical objects.
Simulation Numérique
Événement
Workshop "Acquisition multimodale et analyse des données"
La société Bionic France et l'équipe de recherche Empenn (Inria, Inserm, Université de Rennes 1, CNRS), coorganisent le workshop, dont les thématiques sont la multimodalité dans l'acquisition des données et l'analyse des données récoltées; avec notamment un focus sur les données NIRS. Le workshop se déroule sur deux journées, les 15 et 16 décembre 2022 dans les locaux du centre Inria de l'Université de Rennes. Les inscriptions sont gratuites.
Événement
La production de logiciel libre d'Inria au salon Open Source Experience
Premium sponsor d’Open Source Experience qui se tient à Paris les 8 et 9 novembre prochain, Inria met à l’honneur les dispositifs qu’il déploie pour renforcer l’impact économique de ses logiciels libres. Rendez-vous est donné pour découvrir les formations aux technologies de pointe d’Inria Academy, le programme InriaSoft qui intègre les utilisateurs industriels à la gouvernance des logiciels open source Inria et Software Heritage.
Événement
OPEN SOURCE EXPERIENCE
Porté par Systematic Paris-Region, Open Source Experience est le rendez-vous de toute la filière du logiciel libre qui réunit pendant 2 jours tous les professionnels du secteur. Open Source Experience est un lieu d’échanges technologiques, de rencontre et d’opportunités business dédié à l’open source et à l’ensemble des acteurs du numérique ouvert