M1 — Première année de master

Objectif : Approfondissement disciplinaire et méthodologique

Volume horaire : 300-400h (CM, TD, projets + stage 2-3 mois)

M1.1 — Optimisation et programmation linéaire

Ce module couvre les techniques d'optimisation et de programmation linéaire appliquées à différents contextes.

algorithme boucle recherche tri performance théâtre postdramatique

Notions clés

  • Algorithmes d'optimisation
  • Programmation linéaire
  • Analyse de performance
  • Structures de données pour l'optimisation

M1.2 — Génie logiciel et tests

Ce module aborde les bonnes pratiques du génie logiciel avec un focus particulier sur les techniques de test et de débogage.

système d'exploitation processus test débogage liste chaînée pile Von Neumann processeur

Notions clés

  • Architecture des systèmes d'exploitation
  • Gestion des processus
  • Techniques de test logiciel
  • Structures de données fondamentales
  • Modèle d'architecture Von Neumann

M1.3 — Bio-informatique

Ce module explore les applications de l'informatique dans le domaine de la biologie et de la génomique.

informatique algorithme donnée complexité abstraction automatisation

Notions clés

  • Algorithmes pour la bio-informatique
  • Analyse de données biologiques
  • Complexité algorithmique en biologie
  • Automatisation des processus biologiques

M1.4 — Cryptographie

Ce module présente les principes fondamentaux de la cryptographie moderne et ses applications.

POO classe

Notions clés

  • Principes de la cryptographie symétrique et asymétrique
  • Implémentation en programmation orientée objet
  • Sécurité des systèmes d'information

M1.5 — Traitement du signal

Ce module couvre les techniques de traitement numérique des signaux et leurs applications.

traitement signal algorithme donnée complexité abstraction automatisation

Notions clés

  • Filtrage numérique
  • Transformées de Fourier
  • Analyse spectrale
  • Applications en traitement d'images et audio

M1.6 — Apprentissage automatique

Ce module introduit les concepts fondamentaux de l'apprentissage automatique et ses applications.

apprentissage automatique algorithme donnée complexité abstraction automatisation

Notions clés

  • Apprentissage supervisé et non supervisé
  • Réseaux de neurones
  • Évaluation des modèles
  • Applications industrielles

M1.7 — Approfondissement : Théorie des langages et compilation

Ce module approfondit les concepts théoriques des langages de programmation et des techniques de compilation.

théorie langages compilation algorithme donnée complexité abstraction automatisation

Notions clés

  • Grammaires formelles
  • Analyse syntaxique
  • Génération de code
  • Optimisation de compilateurs

M2 — Deuxième année de master

Objectif : Spécialisation et préparation à la professionnalisation ou à la thèse

Volume horaire : 300-400h (parcours spécialisé + mémoire/stage 4-6 mois)

M2.1 — Cybersécurité

Ce module couvre les aspects théoriques et pratiques de la cybersécurité moderne.

cybersécurité algorithme donnée complexité abstraction automatisation

Notions clés

  • Sécurité des systèmes informatiques
  • Cryptographie appliquée
  • Analyse des vulnérabilités
  • Protection des données

M2.2 — Traitement automatique des langues

Ce module explore les techniques de traitement automatique des langues naturelles.

traitement automatique langues algorithme donnée complexité abstraction automatisation

Notions clés

  • Analyse syntaxique et sémantique
  • Modèles de langage
  • Traduction automatique
  • Applications en IA conversationnelle

M2.3 — Bio-informatique (M2)

Ce module approfondit les techniques de bio-informatique avec des applications avancées.

informatique algorithme donnée complexité abstraction automatisation

Notions clés

  • Génomique computationnelle
  • Analyse de séquences
  • Modélisation moléculaire
  • Applications en médecine personnalisée

M2.4 — Intelligence artificielle (M1)

Ce module couvre les concepts avancés en intelligence artificielle et leurs applications.

intelligence artificielle algorithme donnée complexité abstraction automatisation

Notions clés

  • Apprentissage profond
  • Systèmes multi-agents
  • IA symbolique
  • Éthique et IA

M2.5 — Spécialisation : Théorie des langages et compilation

Ce module propose une spécialisation avancée en théorie des langages et techniques de compilation.

théorie langages compilation algorithme donnée complexité abstraction automatisation

Notions clés

  • Compilation avancée
  • Langages spécifiques au domaine
  • Optimisation de code
  • Outils de développement pour compilateurs

M2.6 — Séminaire de recherche — formel

Ce séminaire permet aux étudiants de présenter et discuter des travaux de recherche récents dans le domaine.

séminaire lecture critique état de l'art présentation

Notions clés

  • Méthodologie de recherche
  • Analyse critique d'articles scientifiques
  • Présentation orale de travaux
  • Rédaction de rapports scientifiques