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.
Programme
Sélectionnez un programme
Master Informatique fondamentale et appliquée - Master Parisien de Recherche en Informatique
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
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
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.
Compilation
6 créditsLangages à objet avancés
6 crédits3 UE au choix
18 créditsAu choix : 3 parmi 11
Circuits et architecture
6 créditsInterfaces graphiques
6 créditsProtocoles réseaux
6 créditsProgrammation de composants mobiles
6 créditsThéorie et pratique de la concurrence
6 créditsIntroduction à l'intelligence artificielle et la théorie de jeux
6 créditsProgrammation logique et par contraintes
6 créditsCalculabilité et complexité
6 créditsAutomates avancés et applications
6 créditsAlgorithmique
6 créditsCours extérieur 1
6 crédits
Génie logiciel avancé
6 créditsProgrammation fonctionnelle avancée
6 créditsUE au choix
15 créditsAu choix : 3 à 5 parmi 17
Projet de programmation ou stage
6 créditsAu choix : 1 parmi 2
Projet de programmation
6 créditsStage en entreprise
6 crédits
Cours extérieur 2
6 créditsDroits d'informatique
3 créditsFormat de documents et XML
3 créditsIntroduction aux logiciels libres
3 créditsCours extérieur 3
3 créditsCompilation optimisante
3 créditsProgrammation système avancée
6 créditsInfographie
6 créditsPreuves assistées par ordinateur
6 créditsBases de données avancées
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éditsTechnologies big data
3 créditsInitiation à la recherche (séminaire)
3 créditsUE Libre
3 crédits
Anglais de spécialité
3 créditsProgrammation objets : concepts avancés
3 créditsProgrammation comparée
3 créditsTransformation de programmes
3 crédits5 UE au choix
15 créditsAu choix : 5 parmi 9
Architectures des systemes de bases de données
3 créditsMéthodes formelles de vérification
3 créditsModélisation et spécification
3 créditsProgrammation synchrone
3 créditsArchitecture des systèmes d'information
3 créditsInterfaces et outils de MacOS-X
3 créditsProgrammation logique et par contraintes avancée
3 créditsProgrammation répartie
3 créditsTypage et analyse statique
3 crédits
3 UE au choix
9 créditsAu choix : 3 parmi 22
Architectures des systemes de bases de données
3 créditsMéthodes formelles de vérification
3 créditsModélisation et spécification
3 créditsProgrammation synchrone
3 créditsArchitecture des systèmes d'information
3 créditsInterfaces et outils de MacOS-X
3 créditsProgrammation logique et par contraintes avancée
3 créditsProgrammation répartie
3 créditsTypage et analyse statique
3 créditsBase de donnéees spécialisée
3 créditsFouille de données et aide à la décision
3 créditsInformatique embarquée
3 créditsIngénierie des protocoles
3 créditsAdministration système et réseau
3 créditsAlgorithmique répartie
3 créditsGrands réseaux d'interaction
3 créditsMéthodes algorithmiques pour l'accès à l'information numérique
3 créditsMobilité
3 créditsProtocoles des services Internet
3 créditsSystèmes avancés
3 créditsMéthodes formelles approche probabiliste
3 créditsCours 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.
Algorithmique
6 créditsProtocoles réseaux
6 crédits3 UE au choix
18 créditsAu choix : 3 parmi 11
Circuits et architecture
6 créditsInterfaces graphiques
6 créditsLangages à objet avancés
6 créditsProgrammation de composants mobiles
6 créditsThéorie et pratique de la concurrence
6 créditsIntroduction à l'intelligence artificielle et la théorie de jeux
6 créditsProgrammation logique et par contraintes
6 créditsCalculabilité et complexité
6 créditsAutomates avancés et applications
6 créditsCompilation
6 créditsCours extérieur 1
6 crédits
Anglais de Spécialité
3 créditsBases de données avancées
6 créditsProgrammation système avancée
6 créditsUE au choix
15 créditsAu choix : 3 à 5 parmi 17
Projet de programmation ou stage
6 créditsAu choix : 1 parmi 2
Projet de programmation
6 créditsStage en entreprise
6 crédits
Cours extérieur 2
6 créditsDroits d'informatique
3 créditsFormat de documents et XML
3 créditsIntroduction aux logiciels libres
3 créditsCours extérieur 3
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éditsUE Libre
3 crédits
Anglais de spécialité
3 crédits8 UE au choix
24 créditsAu choix : 8 parmi 16
Administration système et réseau
3 créditsAlgorithmique répartie
3 créditsArchitecture des systèmes d'information
3 créditsArchitectures des systemes de bases de données
3 créditsFouille de données et aide à la décision
3 créditsGrands réseaux d'interaction
3 créditsInformatique embarquée
3 créditsIngénierie des protocoles
3 créditsInterfaces et outils de MacOS-X
3 créditsMéthodes algorithmiques pour l'accès à l'information numérique
3 créditsMobilité
3 créditsModélisation et spécification
3 créditsProgrammation répartie
3 créditsProgrammation synchrone
3 créditsProtocoles des services Internet
3 créditsSystèmes avancés
3 crédits
3 UE au choix
9 créditsAu choix : 3 parmi 26
Administration système et réseau
3 créditsAlgorithmique répartie
3 créditsArchitecture des systèmes d'information
3 créditsArchitectures des systemes de bases de données
3 créditsFouille de données et aide à la décision
3 créditsGrands réseaux d'interaction
3 créditsInterfaces et outils de MacOS-X
3 créditsIngénierie des protocoles
3 créditsInformatique embarquée
3 créditsMéthodes algorithmiques pour l'accès à l'information numérique
3 créditsModélisation et spécification
3 créditsProgrammation répartie
3 créditsMobilité
3 créditsProgrammation synchrone
3 créditsProtocoles des services Internet
3 créditsSystèmes avancés
3 créditsBase de donnéees spécialisée
3 créditsMéthodes formelles de vérification
3 créditsOptimisation
3 créditsProgrammation comparée
3 créditsProgrammation logique et par contraintes avancée
3 créditsProgrammation objets : concepts avancés
3 créditsTransformation de programmes
3 créditsTypage et analyse statique
3 créditsMéthodes formelles approche probabiliste
3 créditsCours 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,…).
Algorithmique
6 créditsIntroduction à l'intelligence artificielle et la théorie de jeux
6 crédits3 UE au choix
3 créditsAu choix : 3 parmi 11
Circuits et architecture
6 créditsInterfaces graphiques
6 créditsLangages à objet avancés
6 créditsProgrammation de composants mobiles
6 créditsThéorie et pratique de la concurrence
6 créditsProtocoles réseaux
6 créditsProgrammation logique et par contraintes
6 créditsCalculabilité et complexité
6 créditsAutomates avancés et applications
6 créditsCompilation
6 créditsCours extérieur 1
6 crédits
Anglais de Spécialité
3 créditsBases de données avancées
6 créditsOutils formels pour la science des données
6 créditsUE au choix
15 créditsAu choix : 3 à 5 parmi 17
Projet de programmation ou stage
6 créditsAu choix : 1 parmi 2
Projet de programmation
6 créditsStage en entreprise
6 crédits
Cours extérieur 2
6 créditsDroits d'informatique
3 créditsFormat de documents et XML
3 créditsIntroduction aux logiciels libres
3 créditsCours extérieur 3
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éditsProgrammation système avancée
6 créditsInitiation à la recherche (séminaire)
3 créditsTechnologies big data
3 créditsUE Libre
3 crédits
Anglais de spécialité
3 crédits7 UE au choix
21 créditsAu choix : 7 parmi 11
Base de donnéees spécialisée
3 créditsAlgorithmique répartie
3 créditsArchitectures des systemes de bases de données
3 créditsArchitecture des systèmes d'information
3 créditsFouille de données et aide à la décision
3 créditsGrands réseaux d'interaction
3 créditsMéthodes algorithmiques pour l'accès à l'information numérique
3 créditsOptimisation
3 créditsProgrammation logique et par contraintes avancée
3 créditsProgrammation objets : concepts avancés
3 créditsProgrammation répartie
3 crédits
4 UE au choix
12 créditsAu choix : 4 parmi 26
Base de donnéees spécialisée
3 créditsAlgorithmique répartie
3 créditsArchitectures des systemes de bases de données
3 créditsArchitecture des systèmes d'information
3 créditsFouille de données et aide à la décision
3 créditsGrands réseaux d'interaction
3 créditsMéthodes algorithmiques pour l'accès à l'information numérique
3 créditsOptimisation
3 créditsProgrammation logique et par contraintes avancée
3 créditsProgrammation objets : concepts avancés
3 créditsProgrammation répartie
3 créditsAdministration système et réseau
3 créditsInformatique embarquée
3 créditsIngénierie des protocoles
3 créditsInterfaces et outils de MacOS-X
3 créditsMobilité
3 créditsModélisation et spécification
3 créditsMéthodes formelles de vérification
3 créditsProgrammation comparée
3 créditsProgrammation synchrone
3 créditsProtocoles des services Internet
3 créditsSystèmes avancés
3 créditsTransformation de programmes
3 créditsTypage et analyse statique
3 créditsMéthodes formelles approche probabiliste
3 créditsCours extérieur 4
3 crédits
Stage
24 crédits
Master Informatique fondamentale et appliquée - Parcours : Génie informatique en Alternance (GENIAL)
Algorithmique
6 créditsProtocoles réseaux
6 créditsLangages à objet avancés
6 créditsProgrammation de composants mobiles
6 créditsEvaluation du travail en entreprise
6 crédits
Anglais
3 créditsBases de données avancées
6 créditsGénie logiciel avancé
6 créditsSécurité Informatique
3 créditsUE au choix
3 créditsAu choix : 1 parmi 2
Droits d'informatique
3 créditsIntroduction aux logiciels libres
3 crédits
Evaluation du travail en entreprise
9 crédits
Anglais
3 créditsAlgorithmique répartie
3 créditsArchitectures des systemes de bases de données
3 créditsGrands réseaux d'interaction
3 créditsInformatique embarquée
3 créditsProgrammation répartie
3 créditsProgrammation comparée
3 créditsProgrammation objets : concepts avancés
3 créditsCalcul à hautes performances
3 créditsInternet des objets
3 créditsHackathon du début
3 créditsHackathon du printemps
3 créditsEvaluation du travail en entreprise (intermédaire)
3 créditsEvaluation du travail en entreprise (finale)
21 crédits