• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

  • Niveau d'études visé

    BAC +5

  • Faculté

    Faculté des Sciences

Présentation

Compétences visées

- Effectuer une recherche bibliographique ou un recherche d'informations sur différents supports.

 - Communiquer en anglais.

 - Etablir une progression didactique et pédagogique.

 - Evaluer les apprentissages.

 - S'adapter à différents publics.

Lire plus

Programme

Sélectionnez un programme

Master Informatique fondamentale et appliquée - Master Parisien de Recherche en Informatique

Voir la page complète de ce parcours

  • Algorithmique

    6 crédits
  • Calculabilité et complexité

    6 crédits
  • 3 UE au choix

    18 crédits
    • Au choix : 3 parmi 9

      • Circuits et architecture

        6 crédits
      • Protocoles réseaux

        6 crédits
      • Interfaces graphiques

        6 crédits
      • Langages à objet avancés

        6 crédits
      • Programmation logique et par contraintes

        6 crédits
      • Automates avancés et applications

        6 crédits
      • Compilation

        6 crédits
      • Cours extérieur 1

        6 crédits
      • Cours extérieur 2

        6 crédits
  • Anglais de Spécialité

    3 crédits
  • Travaux de recherche encadrés

    6 crédits
  • UE au choix

    21 crédits
    • Au choix : 4 à 7 parmi 17

      • Programmation système avancée

        6 crédits
      • Bases de données avancées

        6 crédits
      • Droits d'informatique

        3 crédits
      • Format de documents et XML

        3 crédits
      • Introduction aux logiciels libres

        3 crédits
      • UE extérieur 1

        3 crédits
      • Compilation optimisante

        3 crédits
      • Génie logiciel avancé

        6 crédits
      • Infographie

        6 crédits
      • Preuves assistées par ordinateur

        6 crédits
      • Programmation fonctionnelle avancée

        6 crédits
      • Algorithmique avancée et complexité

        6 crédits
      • Sémantique de langages de programmation

        6 crédits
      • Outils formels pour la science des données

        6 crédits
      • Initiation à la recherche (séminaire)

        3 crédits
      • Technologies big data

        3 crédits
      • Cours extérieur 1

        6 crédits
  • Au choix : 5 à 10 parmi 49

    • Logique linéaire et paradigmes logiques du calcul

      6 crédits
    • Modèles des langages de programmation: domaines, catégories, jeux 

      6 crédits
    • Concurrence 

      3 crédits
    • Fondements de la confidentialité des données

      3 crédits
    • Programmation fonctionnelle et systèmes de types 

      6 crédits
    • Démonstration automatique 

      3 crédits
    • Interprétation abstraite: application à la vérification et à l'analyse statique 

      6 crédits
    • Fondements des systèmes de preuves 

      3 crédits
    • Assistants de preuves 

      3 crédits
    • Théorie non-séquentielle des systèmes distribués 

      3 crédits
    • Fondements des systèmes temps-réel et hybrides 

      3 crédits
    • Beaux préordres et algorithmes 

      3 crédits
    • Vérification algorithmique des programmes

      3 crédits
    • Aspects algorithmiques de la combinatoire 

      6 crédits
    • Complexité randomisée (long) 

      6 crédits
    • Algorithmes d’approximation et Algorithmique moléculaire 

      6 crédits
    • Complexité randomisée (court) 

      3 crédits
    • Techniques en cryptographie et cryptoanalyse 

      3 crédits
    • Algorithmes arithmétiques pour la cryptologie 

      3 crédits
    • Systèmes polynomiaux, calcul formel et applications  

      3 crédits
    • Codes correcteurs d'erreurs et applications à la cryptographie 

      3 crédits
    • Analyse géométrique des données 

      3 crédits
    • Analyse d'algorithmes 

      6 crédits
    • Modélisation par automates finis 

      6 crédits
    • Fondements sur la modélisation des réseaux 

      3 crédits
    • Algorithmique distribuée pour les réseaux 

      3 crédits
    • Algorithmique distribuée avec mémoire partagée 

      3 crédits
    • Méthodes informatiques pour la biologie systémique et synthétique  

      6 crédits
    • Techniques de théorie des jeux en informatique 

      3 crédits
    • Fondations mathématiques de la théorie des automates 

      3 crédits
    • Algorithmes efficaces en calcul formel 

      6 crédits
    • Systèmes synchrones 

      3 crédits
    • Optimisation

      3 crédits
    • Résolution de problèmes d'optimisation avec heuristiques de recherche 

      3 crédits
    • Logique, complexité descriptive et théorie des bases de données 

      3 crédits
    • Gestion de données du web 

      3 crédits
    • Structures informatiques et logiques pour la modélisation linguistique 

      3 crédits
    • Algorithmique des graphes 

      3 crédits
    • Fouille de graphes 

      3 crédits
    • Protocoles cryptographiques : preuves formelles et calculatoires  

      6 crédits
    • Théorie des calculs 

      3 crédits
    • Complexité de circuits 

      3 crédits
    • Informatique quantique 

      3 crédits
    • Informatique quantique et cryptographie 

      3 crédits
    • Programmation par contraintes 

      3 crédits
    • Preuve de programmes

      3 crédits
    • Sémantique, langages et algorithmes pour la programmation multicore

      3 crédits
    • Algorithmique et combinatoire des graphes géométriques 

      3 crédits
    • Informatique graphique et visualisation scientifique 

      3 crédits
  • Stage

    30 crédits

Master Informatique fondamentale appliquée - Parcours : Langages et Programmation

Le parcours "Langages et Programmation" (mention "Informatique fondamentale et appliquée") vise une formation en programmation par une approche axée sur les langages de programmation et des langages de données.

Des cours focalisés sur des langages de programmation spécifiques de différents paradigmes sont complétés par des matières fondamentales et des cours transversaux.

Voir la page complète de ce parcours

  • Compilation

    6 crédits
  • Langages à objet avancés

    6 crédits
  • 3 UE au choix

    18 crédits
    • Au choix : 3 parmi 11

      • Circuits et architecture

        6 crédits
      • Interfaces graphiques

        6 crédits
      • Protocoles réseaux

        6 crédits
      • Programmation de composants mobiles

        6 crédits
      • Théorie et pratique de la concurrence

        6 crédits
      • Introduction à l'intelligence artificielle et la théorie de jeux

        6 crédits
      • Programmation logique et par contraintes

        6 crédits
      • Calculabilité et complexité

        6 crédits
      • Automates avancés et applications

        6 crédits
      • Algorithmique

        6 crédits
      • Cours extérieur 1

        6 crédits
  • Génie logiciel avancé

    6 crédits
  • Programmation fonctionnelle avancée

    6 crédits
  • UE au choix

    15 crédits
    • Au choix : 3 à 5 parmi 17

      • Projet de programmation ou stage

        6 crédits
        • Au choix : 1 parmi 2

          • Projet de programmation

            6 crédits
          • Stage en entreprise

            6 crédits
      • Cours extérieur 2

        6 crédits
      • Droits d'informatique

        3 crédits
      • Format de documents et XML

        3 crédits
      • Introduction aux logiciels libres

        3 crédits
      • Cours extérieur 3

        3 crédits
      • Compilation optimisante

        3 crédits
      • Programmation système avancée

        6 crédits
      • Infographie

        6 crédits
      • Preuves assistées par ordinateur

        6 crédits
      • Bases de données avancées

        6 crédits
      • Algorithmique avancée et complexité

        6 crédits
      • Sémantique de langages de programmation

        6 crédits
      • Outils formels pour la science des données

        6 crédits
      • Technologies big data

        3 crédits
      • Initiation à la recherche (séminaire)

        3 crédits
      • UE Libre

        3 crédits
  • Anglais de spécialité

    3 crédits
  • Programmation objets : concepts avancés

    3 crédits
  • Programmation comparée

    3 crédits
  • Transformation de programmes

    3 crédits
  • 5 UE au choix

    15 crédits
    • Au choix : 5 parmi 9

      • Architectures des systemes de bases de données

        3 crédits
      • Méthodes formelles de vérification

        3 crédits
      • Modélisation et spécification

        3 crédits
      • Programmation synchrone

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Interfaces et outils de MacOS-X

        3 crédits
      • Programmation logique et par contraintes avancée

        3 crédits
      • Programmation répartie

        3 crédits
      • Typage et analyse statique

        3 crédits
  • 3 UE au choix

    9 crédits
    • Au choix : 3 parmi 22

      • Architectures des systemes de bases de données

        3 crédits
      • Méthodes formelles de vérification

        3 crédits
      • Modélisation et spécification

        3 crédits
      • Programmation synchrone

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Interfaces et outils de MacOS-X

        3 crédits
      • Programmation logique et par contraintes avancée

        3 crédits
      • Programmation répartie

        3 crédits
      • Typage et analyse statique

        3 crédits
      • Base de donnéees spécialisée

        3 crédits
      • Fouille de données et aide à la décision

        3 crédits
      • Informatique embarquée

        3 crédits
      • Ingénierie des protocoles

        3 crédits
      • Administration système et réseau

        3 crédits
      • Algorithmique répartie

        3 crédits
      • Grands réseaux d'interaction

        3 crédits
      • Méthodes algorithmiques pour l'accès à l'information numérique

        3 crédits
      • Mobilité

        3 crédits
      • Protocoles des services Internet

        3 crédits
      • Systèmes avancés

        3 crédits
      • Méthodes formelles approche probabiliste

        3 crédits
      • Cours extérieur 4

        3 crédits
  • Stage

    24 crédits

Master Informatique fondamentale et appliquée - Parcours : Info. pour la mobilité : leurs programmations, leurs algorithmes pour internet, la répartition et les systèmes (IMPAIRS)

Le but du parcours IMPAIRS (mention "Informatique fondamentale et appliquée"), porté par l'UFR Informatique d'Université de Paris (sise campus des Grands Moulins), qui est essentiellement à visée professionnelle, est de former des ingénieurs informaticiens capables de maîtriser à la fois des concepts fondamentaux et des technologies modernes.

Les applications informatiques sont maintenant généralement des applications réparties et depuis quelques années, avec l’émergence du cloud et des smartphones, des applications mobiles. En quelques années, grâce à Internet, l’accès et l’usage de l’information numérique se sont simplifiés mais aussi accélérés, banalisés et surtout délocalisés.

Voir la page complète de ce parcours

  • Algorithmique

    6 crédits
  • Protocoles réseaux

    6 crédits
  • 3 UE au choix

    18 crédits
    • Au choix : 3 parmi 11

      • Circuits et architecture

        6 crédits
      • Interfaces graphiques

        6 crédits
      • Langages à objet avancés

        6 crédits
      • Programmation de composants mobiles

        6 crédits
      • Théorie et pratique de la concurrence

        6 crédits
      • Introduction à l'intelligence artificielle et la théorie de jeux

        6 crédits
      • Programmation logique et par contraintes

        6 crédits
      • Calculabilité et complexité

        6 crédits
      • Automates avancés et applications

        6 crédits
      • Compilation

        6 crédits
      • Cours extérieur 1

        6 crédits
  • Anglais de Spécialité

    3 crédits
  • Bases de données avancées

    6 crédits
  • Programmation système avancée

    6 crédits
  • UE au choix

    15 crédits
    • Au choix : 3 à 5 parmi 17

      • Projet de programmation ou stage

        6 crédits
        • Au choix : 1 parmi 2

          • Projet de programmation

            6 crédits
          • Stage en entreprise

            6 crédits
      • Cours extérieur 2

        6 crédits
      • Droits d'informatique

        3 crédits
      • Format de documents et XML

        3 crédits
      • Introduction aux logiciels libres

        3 crédits
      • Cours extérieur 3

        3 crédits
      • Compilation optimisante

        3 crédits
      • Génie logiciel avancé

        6 crédits
      • Infographie

        6 crédits
      • Preuves assistées par ordinateur

        6 crédits
      • Programmation fonctionnelle avancée

        6 crédits
      • Algorithmique avancée et complexité

        6 crédits
      • Sémantique de langages de programmation

        6 crédits
      • Outils formels pour la science des données

        6 crédits
      • Initiation à la recherche (séminaire)

        3 crédits
      • Technologies big data

        3 crédits
      • UE Libre

        3 crédits
  • Anglais de spécialité

    3 crédits
  • 8 UE au choix

    24 crédits
    • Au choix : 8 parmi 16

      • Administration système et réseau

        3 crédits
      • Algorithmique répartie

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Architectures des systemes de bases de données

        3 crédits
      • Fouille de données et aide à la décision

        3 crédits
      • Grands réseaux d'interaction

        3 crédits
      • Informatique embarquée

        3 crédits
      • Ingénierie des protocoles

        3 crédits
      • Interfaces et outils de MacOS-X

        3 crédits
      • Méthodes algorithmiques pour l'accès à l'information numérique

        3 crédits
      • Mobilité

        3 crédits
      • Modélisation et spécification

        3 crédits
      • Programmation répartie

        3 crédits
      • Programmation synchrone

        3 crédits
      • Protocoles des services Internet

        3 crédits
      • Systèmes avancés

        3 crédits
  • 3 UE au choix

    9 crédits
    • Au choix : 3 parmi 26

      • Administration système et réseau

        3 crédits
      • Algorithmique répartie

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Architectures des systemes de bases de données

        3 crédits
      • Fouille de données et aide à la décision

        3 crédits
      • Grands réseaux d'interaction

        3 crédits
      • Interfaces et outils de MacOS-X

        3 crédits
      • Ingénierie des protocoles

        3 crédits
      • Informatique embarquée

        3 crédits
      • Méthodes algorithmiques pour l'accès à l'information numérique

        3 crédits
      • Modélisation et spécification

        3 crédits
      • Programmation répartie

        3 crédits
      • Mobilité

        3 crédits
      • Programmation synchrone

        3 crédits
      • Protocoles des services Internet

        3 crédits
      • Systèmes avancés

        3 crédits
      • Base de donnéees spécialisée

        3 crédits
      • Méthodes formelles de vérification

        3 crédits
      • Optimisation

        3 crédits
      • Programmation comparée

        3 crédits
      • Programmation logique et par contraintes avancée

        3 crédits
      • Programmation objets : concepts avancés

        3 crédits
      • Transformation de programmes

        3 crédits
      • Typage et analyse statique

        3 crédits
      • Méthodes formelles approche probabiliste

        3 crédits
      • Cours extérieur 4

        3 crédits
  • Stage

    24 crédits

Master Informatique fondamentale et appliquée - Parcours : Données : Algorithmes, Traitement et Analyse

Les données sont aujourd’hui l’aspect central de tous les systèmes informatiques. Les grands acteurs du “big data” (comme Google, Facebook, Twitter etc.) s’appuient sur des technologies complexes, en évolution continue. Leur but principal est de représenter, stocker, traiter efficacement et analyser des données massives (centaines de millions de Gigabytes, millions de transactions par jours, milliards d’utilisateurs,…).

Voir la page complète de ce parcours

  • Algorithmique

    6 crédits
  • Introduction à l'intelligence artificielle et la théorie de jeux

    6 crédits
  • 3 UE au choix

    3 crédits
    • Au choix : 3 parmi 11

      • Circuits et architecture

        6 crédits
      • Interfaces graphiques

        6 crédits
      • Langages à objet avancés

        6 crédits
      • Programmation de composants mobiles

        6 crédits
      • Théorie et pratique de la concurrence

        6 crédits
      • Protocoles réseaux

        6 crédits
      • Programmation logique et par contraintes

        6 crédits
      • Calculabilité et complexité

        6 crédits
      • Automates avancés et applications

        6 crédits
      • Compilation

        6 crédits
      • Cours extérieur 1

        6 crédits
  • Anglais de Spécialité

    3 crédits
  • Bases de données avancées

    6 crédits
  • Outils formels pour la science des données

    6 crédits
  • UE au choix

    15 crédits
    • Au choix : 3 à 5 parmi 17

      • Projet de programmation ou stage

        6 crédits
        • Au choix : 1 parmi 2

          • Projet de programmation

            6 crédits
          • Stage en entreprise

            6 crédits
      • Cours extérieur 2

        6 crédits
      • Droits d'informatique

        3 crédits
      • Format de documents et XML

        3 crédits
      • Introduction aux logiciels libres

        3 crédits
      • Cours extérieur 3

        3 crédits
      • Compilation optimisante

        3 crédits
      • Génie logiciel avancé

        6 crédits
      • Infographie

        6 crédits
      • Preuves assistées par ordinateur

        6 crédits
      • Programmation fonctionnelle avancée

        6 crédits
      • Algorithmique avancée et complexité

        6 crédits
      • Sémantique de langages de programmation

        6 crédits
      • Programmation système avancée

        6 crédits
      • Initiation à la recherche (séminaire)

        3 crédits
      • Technologies big data

        3 crédits
      • UE Libre

        3 crédits
  • Anglais de spécialité

    3 crédits
  • 7 UE au choix

    21 crédits
    • Au choix : 7 parmi 11

      • Base de donnéees spécialisée

        3 crédits
      • Algorithmique répartie

        3 crédits
      • Architectures des systemes de bases de données

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Fouille de données et aide à la décision

        3 crédits
      • Grands réseaux d'interaction

        3 crédits
      • Méthodes algorithmiques pour l'accès à l'information numérique

        3 crédits
      • Optimisation

        3 crédits
      • Programmation logique et par contraintes avancée

        3 crédits
      • Programmation objets : concepts avancés

        3 crédits
      • Programmation répartie

        3 crédits
  • 4 UE au choix

    12 crédits
    • Au choix : 4 parmi 26

      • Base de donnéees spécialisée

        3 crédits
      • Algorithmique répartie

        3 crédits
      • Architectures des systemes de bases de données

        3 crédits
      • Architecture des systèmes d'information

        3 crédits
      • Fouille de données et aide à la décision

        3 crédits
      • Grands réseaux d'interaction

        3 crédits
      • Méthodes algorithmiques pour l'accès à l'information numérique

        3 crédits
      • Optimisation

        3 crédits
      • Programmation logique et par contraintes avancée

        3 crédits
      • Programmation objets : concepts avancés

        3 crédits
      • Programmation répartie

        3 crédits
      • Administration système et réseau

        3 crédits
      • Informatique embarquée

        3 crédits
      • Ingénierie des protocoles

        3 crédits
      • Interfaces et outils de MacOS-X

        3 crédits
      • Mobilité

        3 crédits
      • Modélisation et spécification

        3 crédits
      • Méthodes formelles de vérification

        3 crédits
      • Programmation comparée

        3 crédits
      • Programmation synchrone

        3 crédits
      • Protocoles des services Internet

        3 crédits
      • Systèmes avancés

        3 crédits
      • Transformation de programmes

        3 crédits
      • Typage et analyse statique

        3 crédits
      • Méthodes formelles approche probabiliste

        3 crédits
      • Cours extérieur 4

        3 crédits
  • Stage

    24 crédits

Master Informatique fondamentale et appliquée - Parcours : Génie informatique en Alternance (GENIAL)

Voir la page complète de ce parcours

  • Algorithmique

    6 crédits
  • Protocoles réseaux

    6 crédits
  • Langages à objet avancés

    6 crédits
  • Programmation de composants mobiles

    6 crédits
  • Evaluation du travail en entreprise

    6 crédits
  • Anglais

    3 crédits
  • Bases de données avancées

    6 crédits
  • Génie logiciel avancé

    6 crédits
  • Sécurité Informatique

    3 crédits
  • UE au choix

    3 crédits
    • Au choix : 1 parmi 2

      • Droits d'informatique

        3 crédits
      • Introduction aux logiciels libres

        3 crédits
  • Evaluation du travail en entreprise

    9 crédits
  • Anglais

    3 crédits
  • Algorithmique répartie

    3 crédits
  • Architectures des systemes de bases de données

    3 crédits
  • Grands réseaux d'interaction

    3 crédits
  • Informatique embarquée

    3 crédits
  • Programmation répartie

    3 crédits
  • Programmation comparée

    3 crédits
  • Programmation objets : concepts avancés

    3 crédits
  • Calcul à hautes performances

    3 crédits
  • Internet des objets

    3 crédits
  • Hackathon du début

    3 crédits
  • Hackathon du printemps

    3 crédits
  • Evaluation du travail en entreprise (intermédaire)

    3 crédits
  • Evaluation du travail en entreprise (finale)

    21 crédits