Master mention informatique

• Master mention informatique - Code CertifInfo 105773
  • Niveau de qualification : 7 - Savoirs hautement spécialisés

Objectifs

Informatique, traitement de l'information, réseaux de transmission.
Avec ce master international, notre objectif est de présenter à tous les étudiants le monde de la recherche, élément nécessaire pour animer des entreprises innovantes. Les étudiants pourront découvrir des thématiques constituant les axes de recherche privilégiés du laboratoire LIPADE.
Le M1 permet aux étudiants de passer du savoir au savoir-faire. Des projets applicatifs sont proposés.

Programme de la formation

Master 1 :
Semestre 1
Automates avancés et Applications,
Compilation,
Programmation fonctionnelle avancée,
Circuits et architecture des ordinateurs,
Interfaces graphiques,
Protocoles réseau,
Programmation Logique et par Contraintes,
Introduction à l'Intelligence Artificielle et à la Théorie des Jeux.
Semestre 2
Algorithmique avancée et complexité,
Bases de données avancées,
Outils formels pour la science des données,
Programmation Fonctionnelle Avancée,
Sémantique des langages de programmation,
Introduction aux Logiciels Libres,
Initiation à la recherche,
Projet de programmation,
Programmation système avancée.
Master 2 :
Semestre 1
Architecture des systèmes de base de données,
Ingénierie des protocoles,
Protocoles des services Internet,
Programmation synchrone,
Bases de données spécialisées.
Semestre 2
Algorithmique répartie,
Grands réseaux d'interaction,
Méthodes algorithmiques pour l'accès à l'information numérique,
Programmation comparée,
Programmation logique et par contraintes avancée,
Transformation de Programmes,
Méthodes formelles Approche Probabiliste.

Validation et sanction

Master mention informatique;Attestation de suivi de présence

Type de formation

Certifiante

Sortie

Bac + 5 et plus