Contexte
Tout le monde est régulièrement confronté à des programmes informatiques inefficaces ou qui plantent. Afin d’éviter cela, il est nécessaire de définir et d’étudier correctement ce que signifie pour une machine de calculer quelque chose. Ce programme de master de 2 ans couvre certaines des approches théoriques de l'informatique abordant ce sujet, souvent basées sur des outils mathématiques, en vue d'applications.
Objectif
- Acquérir des connaissances fondamentales en informatique théorique.
- Être initié à la recherche actuelle en informatique.
- Acquérir une expérience pratique grâce à des stages de recherche.
contenu
Les sujets des cours comprennent :
- théorie du calcul : calculabilité, logique, sémantique, combinatoire,
- modèles de calcul : automates, programmation concurrente et distribuée, programmation quantique, systèmes hybrides,
- sécurité des programmes : vérification, analyse statique,
- efficacité des programmes : algorithmes, complexité, compilation,
- sûreté des programmes : cryptographie, codage.
Le master est orienté vers la recherche, avec un accent sur les fondements : il vise à initier les étudiants à l'informatique théorique contemporaine et la plupart des étudiants font un doctorat après le master, bien qu'il ouvre également sur de nombreuses carrières possibles dans l'industrie.
Ce master correspond au Master parisien de recherche en informatique (MPRI), porté conjointement par les établissements suivants : Université de Paris (coordinateur), ENS Ulm, ENS Paris-Saclay, École polytechnique et Télécom Paris. La première année se déroule majoritairement à l'École polytechnique, tandis que la deuxième année se déroule majoritairement à l'Université de Paris.
domaines d'enseignement
Informatique.Département OSE
Département d'Informatique.niveau requis
- Diplôme d'un Bachelor/Licence en sciences à l'Institut Polytechnique de Paris ou équivalent en France ou à l'étranger.
- Anglais.
atouts
- Bénéficier d’une exposition intensive à la recherche contemporaine en informatique.
- Poursuivre des opportunités de doctorat à l'Institut Polytechnique de Paris.
- Construire une carrière réussie dans le milieu universitaire ou dans le département R&D d'entreprises privées.
débouchés
Les étudiants qui terminent avec succès le programme de deux ans seront capables de :
- Poursuivre un doctorat menant à une carrière universitaire, par ex. un poste d'enseignant-chercheur dans une université ou un poste de recherche à temps plein dans un établissement de recherche.
- Construire une carrière dans leur domaine d'expertise dans le secteur privé, par ex. en R&D.
Parcours
- M1MPRI-MAST1A M1 - Fondements de l'Informatique - Master 1A
- M1MPRI - S1 M1MPRI - Semestre 1
- M1MPRI - S1 - TC M1MPRI - Semestre 1 - Tronc Commun
- CSC_51050_EP Algorithmique avancée
- FMA_51057_EP Topologie algébrique
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- M1MPRI - S1 - TC M1MPRI - Semestre 1 - Tronc Commun
- M1MPRI - S2 M1MPRI - Semestre 2
- M1MPRI - S2 - TC M1MPRI - Semestre 2 - Tronc Commun
- CSC_52992_EP Stage en Sciences Informatiques (y compris l'IA)
- M1MPRI - S2 - TC M1MPRI - Semestre 2 - Tronc Commun
- M1MPRI - Electifs M1MPRI - Electifs
- CSC_51056_EP Analyse topologique de données
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51063_EP Introduction à la théorie de l'information
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- MDC_51002_EP Information et Calcul Quantique : Fondements
- FMA_51057_EP Topologie algébrique
- CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des langages de programmation
- CSC_51054_EP Apprentissage automatique et apprentissage profond
- MDC_51006_EP Bases de l'Apprentissage Automatique
- CSC_52001_EP Sujets avancés en calcul quantique et Informations
- CSC_52003_EP Circuits quantiques avancés
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52062_EP Géométrie algorithmique : de la théorie aux applications
- CSC_52064_EP Compilation
- CSC_52068_EP Cryptologie Avancée
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- FMA_52062_EP Introduction à la géométrie algébrique et courbes elliptiques
- M1MPRI - Electifs H.M. M1MPRI - Electifs hors maquette
- APM_5DA01_TP Multi-Agent Systems
- APM_52666_EP Introduction à l'apprentissage automatique
- CSC_5DA07_TP Collective Intelligence
- CSC_51052_EP Visualisation des Données
- CSC_52P01_EP Projet informatique en Calcul Quantique
- CSC_52069_EP Theorie de la décision, avec applications aux systèmes d'énergie
- CSC_52083_EP Systèmes pour les Mégadonnées
- CSC_54601_PS Calculabilité, Complexité, Modèles de Calcul
- FMA_52060_PS Logique
- FMA_52061_PS Lambda-calcul et catégories
- CSC_52080_EP Optimisation mathématique à large échelle
- M1MPRI - S1 M1MPRI - Semestre 1
- Lan-Masters Langues Vivantes
- LDE_51100_EP Allemand Débutant
- LEN_50512_EP Anglais - Jeux et société
- LEN_50514_EP Anglais - Les enjeux mondiaux sous d'autres angles
- LEN_51309_EP Anglais niveau intermédiaire supérieur - Cinéma américain indépendant
- LES_51100_EP JE1 - Espagnol Débutant
- LES_51300_EP JE1 - B1/B2 - Espagnol
- LFR_50205_EP MA1 - A2/B1 - Langue française et civilisation
- LFR_50203_EP JE1 - A2/B1 - Langue française et civilisation
- LFR_51520_EP Français avancé / très avancé - Art et politique XIXe-XXe siècles
