Balima Damien

Les systèmes legacy (systèmes obsolètes), ces vieilles charrues que l’on pousse depuis des décennies, sont les boulets des grandes entreprises. Quels sont leurs dangers, comment y faire face ?

Le Machine Learning, l’apprentissage des intelligences artificielles, en quelques mots, ses principes, ses modèles, ses applications.

Aperçu de quelques logiciels et applications essentiels gravitant autour du langage C.

Découvrez le langage de référence de la programmation impérative.

Modélisez et vérifiez votre programme multi-threads avec Spin, le model-checker open-source.

Réalisez des tests unitaires avec Check et vérifiez leur couverture de code avec Gcov et Lcov.

Détectez les intrusions réseau avec Snort, l'IDS open source, et analysez-les par l'interface BASE, the Basic Analysis and Security Engine.

Réalisez un réseau de neurones et prévoyez le temps qu'il fera demain avec Rattle, the R Analytical Tool To Learn Easily.

Avec Frama-c, vérifiez et validez vos programmes C de manière sûre par la preuve de programme.