Master — Master Informatique — Programmation fonctionnelle et vérification

Programme officiel du master avec spécialisation en programmation fonctionnelle et vérification

Niveau : Master (M1-M2)

Volume horaire : 600-800h sur 2 ans (120 ECTS)

Date de mise à jour : 2 juin 2026

Discipline

formel

Description

Programme du master Master Informatique — Programmation fonctionnelle et vérification. Contenu généré à partir de la taxonomie des savoirs et du référentiel d'UE.

Sources officielles

Programme détaillé par année

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
algorithme boucle recherche tri performance théâtre postdramatique
Notions clés :
  • Optimisation de code
  • Programmation linéaire
  • Complexité algorithmique
  • Structures de données avancées

M1.2 — Génie logiciel et tests
système d'exploitation processus test débogage liste chaînée pile Von Neumann processeur
Notions clés :
  • Méthodologies de test
  • Architecture des systèmes
  • Modélisation des processus
  • Debugging avancé

M1.3 — Bio-informatique
informatique algorithme donnée complexité abstraction automatisation
Notions clés :
  • Modélisation biologique
  • Algorithmes génétiques
  • Traitement des données biologiques
  • Visualisation scientifique

M1.4 — Cryptographie
POO classe
Notions clés :
  • Cryptographie symétrique
  • Cryptographie asymétrique
  • Protocoles sécurisés
  • Implémentation en POO

M1.5 — Traitement du signal
traitement signal algorithme donnée complexité abstraction automatisation
Notions clés :
  • Filtrage numérique
  • Transformées de Fourier
  • Analyse spectrale
  • Applications temps réel

M1.6 — Apprentissage automatique
apprentissage automatique algorithme donnée complexité abstraction automatisation
Notions clés :
  • Réseaux de neurones
  • Apprentissage supervisé
  • Apprentissage non supervisé
  • Optimisation des modèles

M1.7 — Approfondissement : Programmation et génie logiciel
programmation génie logiciel arbre code grammaire génération langage
Notions clés :
  • Compilation
  • Analyse syntaxique
  • Génération de code
  • Outils de développement avancés

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é
cybersécurité algorithme donnée complexité abstraction automatisation
Notions clés :
  • Sécurité des systèmes
  • Cryptographie appliquée
  • Analyse de vulnérabilités
  • Protocoles sécurisés

M2.2 — Traitement automatique des langues
traitement automatique langues algorithme donnée complexité abstraction automatisation
Notions clés :
  • Traitement du langage naturel
  • Modèles de langage
  • Traduction automatique
  • Analyse sémantique

M2.3 — Bio-informatique (M2)
informatique algorithme donnée complexité abstraction automatisation
Notions clés :
  • Génomique computationnelle
  • Modélisation moléculaire
  • Analyse de séquences
  • Visualisation 3D

M2.4 — Intelligence artificielle (M1)
intelligence artificielle algorithme donnée complexité abstraction automatisation
Notions clés :
  • Systèmes experts
  • Apprentissage profond
  • Représentation des connaissances
  • Éthique de l'IA

M2.5 — Spécialisation : Programmation et génie logiciel
programmation génie logiciel arbre code grammaire génération langage
Notions clés :
  • Langages fonctionnels
  • Vérification formelle
  • Compilation avancée
  • Outils de génie logiciel

M2.6 — Séminaire de recherche — formel
séminaire lecture critique état de l'art présentation
Notions clés :
  • Recherche documentaire
  • Présentation scientifique
  • Analyse critique
  • Rédaction académique