• Votre sélection est vide.

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

 

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

Domaine : Sciences, Technologies, Santé
Mention : Informatique fondamentale et appliquée
 
  • Niveau d'études visé

    BAC +5

  • Durée

    1

  • Faculté

    Faculté des Sciences

Présentation

Programme

Sélectionnez un programme

Master 1 Informatique fondamentale et appliquée - Parcours : MPRI

  • 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

Master 2 Informatique fondamentale et appliquée - Parcours : MPRI

  • 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

Admission

Public cible

Peuvent demander une inscription en Master:

  • Les personnes ayant obtenu une Licence dans la spécialité Informatique Générale de l’Université Paris Diderot.
  • Les personnes ayant suivi dans d’autres écoles/universités une formation dans un domaine thématique compatible avec la spécialité envisagée.

L’accès au niveau M1 est prononcé sur l’avis favorable du jury d’admission M1 qui vérifie un certain nombre de compétences pré-requises. Les étudiants titulaires d’une licence validée en dehors de l’université Paris Diderot doivent instruire un dossier pédagogique de demande d’inscription en M1 contenant impérativement un relevé de notes complet de toute la Licence (1ère, 2ème et 3ème années).

L’accès au niveau M2 n’est pas automatique, une sélection est effectuée par le jury d’admission M2 sur la base du dossier de l’étudiant. L’entrée au M2 reste conditionnée aux capacités d’accueil de la formation.

Lire plus

Et après ?

Poursuite d'études

La majorité des étudiants titulaires du master informatique recherche poursuivent leur cursus en doctorat avec un financement du Ministère et sont ensuite recrutés sur des postes d’enseignant chercheur ou de chercheurs en milieu académique ou industriel.

Lire plus

Contacts

  • Sophie LAPLANTE

    Responsable du parcours
    • 0157279447
    • Sophie.Laplante @ irif.fr
  • Mickael Ferreira

    Gestionnaire de Scolarité - Master 1
    • 0157276896
    • ferreira @ informatique.univ-paris-diderot.fr
  • Sylvia Crochet

    Gestionnaire de Scolarité - Master 2
    • 0157276310
    • sylvia.crochet @ univ-paris-diderot.fr

A lire aussi

Formation | Université Paris Cité
Certification en anglais : l’annulation du dispositif étendue aux Licences professionnelles

Formation | Université Paris Cité
Quand l’écologie anime la cour des Grands Moulins

Le 8 juin dernier, la centaine d’étudiantes et d’étudiants inscrits à la première édition de l’UE transverse « Transition Écologique et Enjeux Sociétaux » ont présenté leurs travaux de sensibilisation à ces enjeux, lors de l’événement We Look Up sur le campus des Grands Moulins. Ils ont ainsi pu échanger avec d’autres personnes soucieuses des problématiques socio-écologiques. Retour en images sur cet événement..

Formation | Université Paris Cité
Appel à projets Circle U., félicitations à nos 5 lauréats !

En février dernier, Université Paris Cité a lancé un appel à projets Circle U. financé par le Programme d’investissements d’avenir (PIA). Cinq projets ont été sélectionnés par le Jury qui a salué la qualité des propositions reçues. Les projets impliquent huit des universités de l’alliance, et pour plusieurs, des partenaires associés et des étudiants au sein de l’équipe porteuse.

Formation | Université Paris Cité
Certification en anglais : le Conseil d’État annule partiellement sa mise en œuvre

  • Ajouter à la sélection

    Vous avez formations et cours sauvegardés