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éditsCalculabilité et complexité
6 crédits3 UE au choix
18 créditsAu choix : 3 parmi 9
Circuits et architecture
6 créditsProtocoles réseaux
6 créditsInterfaces graphiques
6 créditsLangages à objet avancés
6 créditsProgrammation logique et par contraintes
6 créditsAutomates avancés et applications
6 créditsCompilation
6 créditsCours extérieur 1
6 créditsCours extérieur 2
6 crédits
Anglais de Spécialité
3 créditsTravaux de recherche encadrés
6 créditsUE au choix
21 créditsAu choix : 4 à 7 parmi 17
Programmation système avancée
6 créditsBases de données avancées
6 créditsDroits d'informatique
3 créditsFormat de documents et XML
3 créditsIntroduction aux logiciels libres
3 créditsUE extérieur 1
3 créditsCompilation optimisante
3 créditsGénie logiciel avancé
6 créditsInfographie
6 créditsPreuves assistées par ordinateur
6 créditsProgrammation fonctionnelle avancée
6 créditsAlgorithmique avancée et complexité
6 créditsSémantique de langages de programmation
6 créditsOutils formels pour la science des données
6 créditsInitiation à la recherche (séminaire)
3 créditsTechnologies big data
3 créditsCours 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éditsModèles des langages de programmation: domaines, catégories, jeux
6 créditsConcurrence
3 créditsFondements de la confidentialité des données
3 créditsProgrammation fonctionnelle et systèmes de types
6 créditsDémonstration automatique
3 créditsInterprétation abstraite: application à la vérification et à l'analyse statique
6 créditsFondements des systèmes de preuves
3 créditsAssistants de preuves
3 créditsThéorie non-séquentielle des systèmes distribués
3 créditsFondements des systèmes temps-réel et hybrides
3 créditsBeaux préordres et algorithmes
3 créditsVérification algorithmique des programmes
3 créditsAspects algorithmiques de la combinatoire
6 créditsComplexité randomisée (long)
6 créditsAlgorithmes d’approximation et Algorithmique moléculaire
6 créditsComplexité randomisée (court)
3 créditsTechniques en cryptographie et cryptoanalyse
3 créditsAlgorithmes arithmétiques pour la cryptologie
3 créditsSystèmes polynomiaux, calcul formel et applications
3 créditsCodes correcteurs d'erreurs et applications à la cryptographie
3 créditsAnalyse géométrique des données
3 créditsAnalyse d'algorithmes
6 créditsModélisation par automates finis
6 créditsFondements sur la modélisation des réseaux
3 créditsAlgorithmique distribuée pour les réseaux
3 créditsAlgorithmique distribuée avec mémoire partagée
3 créditsMéthodes informatiques pour la biologie systémique et synthétique
6 créditsTechniques de théorie des jeux en informatique
3 créditsFondations mathématiques de la théorie des automates
3 créditsAlgorithmes efficaces en calcul formel
6 créditsSystèmes synchrones
3 créditsOptimisation
3 créditsRésolution de problèmes d'optimisation avec heuristiques de recherche
3 créditsLogique, complexité descriptive et théorie des bases de données
3 créditsGestion de données du web
3 créditsStructures informatiques et logiques pour la modélisation linguistique
3 créditsAlgorithmique des graphes
3 créditsFouille de graphes
3 créditsProtocoles cryptographiques : preuves formelles et calculatoires
6 créditsThéorie des calculs
3 créditsComplexité de circuits
3 créditsInformatique quantique
3 créditsInformatique quantique et cryptographie
3 créditsProgrammation par contraintes
3 créditsPreuve de programmes
3 créditsSémantique, langages et algorithmes pour la programmation multicore
3 créditsAlgorithmique et combinatoire des graphes géométriques
3 créditsInformatique 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.
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.
Contacts
Mickael Ferreira
Gestionnaire de Scolarité - Master 1
Dernière mise à jour le 10 février 2022
A lire aussi
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..
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.
