Nos formations

Impacts du numérique sur l’environnement

Formation 100% en ligne qui vous propose de mesurer, décrypter et agir pour un numérique durable et responsable. Les vidéos, les ressources et activités proposées vous permettront d’identifier les enjeux climatiques en présence, de comprendre les indicateurs de l’empreinte environnementale du numérique, et d’identifier les actions que vous pouvez mettre œuvre pour un numérique plus responsable et plus durable.

Initiation à l’informatique quantique

La presse spécialisée introduit souvent le qubit comme l'analogue du bit classique, mais de quoi s'agit-il exactement ? Faut-il être mathématicien ou physicien pour appréhender ce monde fantasque et mystérieux ? Et puis c'est quoi la superposition quantique, l'intrication quantique, et c'est quoi cette histoire avec le hasard ?

La cybersécurité des systèmes de contrôle industriel

Face aux cyberattaques emblématiques comme Stuxnet ou Colonial Pipeline, la cybersécurité industrielle s’impose plus que jamais comme un levier stratégique pour protéger des infrastructures vitales.

La sécurité informatique face aux menaces quantiques

Comment comprendre, anticiper, et participer à la transition des cryptosystèmes classiques vers des systèmes résistants au calcul quantique ?

Le cerveau, un modèle pour l’intelligence artificielle

Les dispositifs médicaux intégrant de l’IA : challenges méthodologiques et règlementaires

me voic

Machine Learning and Cybersecurity

This module, at the intersection of artificial intelligence and cybersecurity, explores the use of scikit-learn in information systems security.

Mapping de données existantes vers des graphes de connaissances RDF

Méthodes formelles pour les protocoles de sécurité

Cette formation orientée méthodes formelles pour les protocoles sûrs vise à donner aux ingénieurs et développeurs une base solide pour la conception des protocoles cryptographiques fiables et robustes. Pour développer de tels protocoles il est nécessaire d'apprendre à définir les scénarios et modèles de menaces ainsi que d'utiliser des outils de vérification symbolique.

Pharo, la programmation objet avancée

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