Nos formations

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.

Modern Signal Decomposition Methods

Le module s'adresse aux entreprises qui s'intéressent aux nouvelles méthodes de traitement des signaux

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

Véritable « Linux de 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.

Rocq, la preuve par le logiciel

Rocq 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.

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.

Scikit-learn, la boîte à outils de l’apprentissage automatique – spécial PME

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.

skrub like a pro: clean, prepare, and transform your data faster

skrub is a Python package that slots between dataframe libraries like Pandas, and machine-learning libraries such as scikit-learn. This course shows how skrub simplifies going from raw data to machine learning models by introducing the main features of the library.

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.