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 en 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.
- Etre 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.Domaines d'enseignement IP-Paris
Informatique.niveau requis
- Réalisation d'une première année d'un Master en informatique ou domaine connexe à 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.
- Se préparer à poursuivre un doctorat à l'Institut Polytechnique de Paris.
- Construire une carrière réussie dans le milieu universitaire ou en R&D industriel.
débouchés
Les étudiants qui terminent avec succès le programme de deux ans seront équipés pour :
- Poursuivre un doctorat menant à une carrière universitaire : un poste d'enseignant-chercheur dans une université ou un poste de chercheur à temps plein dans un établissement de recherche.
- Construire une carrière dans leur domaine d'expertise dans le secteur privé, par ex. dans un Département R & D.
Parcours
- M2MPRI-MAST2A M2 - Fondements de l'Informatique - Master 2A
- M2MPRI - S1 M2MPRI - Semestre 1
- M2MPRI - S1 - Electifs M2MPRI - Semestre 1 - Electifs
- CSC_50602_UP Aspects algorithmiques de la combinatoire
- M2MPRI - S1 - Electifs H.M. M2MPRI - Semestre 1 - Electifs hors maquette
- M2MPRI - S1 - Electifs M2MPRI - Semestre 1 - Electifs
- M2MPRI - S1 M2MPRI - Semestre 1
- M2MPRI - S2 M2MPRI - Semestre 2
- INT_53001_EP Stage M2
- Lan-Masters Langues Vivantes
- LFR_50101_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1
- LFR_50200_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1
- LRU_51200_EP Russe niveau Débutant 3
- LDE_51300_EP Allemand B1
- LAR_51300_EP LU6 - Arabe niveau Intermédiaire avec X22
- LZH_51300_EP MA6 - Chinois niveau Intermédiaire 3
- LJA_51400_EP MA2 - Japonais niveau Intermédiaire 3
- LRU_51300_EP ME6 - Russe intermédiaire avec X22
- LDE_51412_EP MA2 - B2 - Atelier théâtre
- LEN_51311_EP B2/C1 - X-News
- LEN_51314_EP Persuasion - LEN_5134_EP
- LEN_51513_EP C1/C2 - US : Hard & Soft power
- LFR_51528_EP MA6 - C1C2 - Mythes de la technique et de la civilisation
- LFR_51520_EP MA2 - C1C2 - Art et politique XIXe-XXe siècles
- LFR_51525_EP MA6 - C1C2 - Atelier d'écriture littéraire
- LFR_51531_EP MA2 - Les subtilités du français
- LDE_51100_EP JE1 - Allemand Débutant
- LES_51100_EP JE1 - Espagnol Débutant
- LAN_40LV1_EP LV1 - Anglais
- LFR_40LV1_EP LV1 - FLE
- LAN_50680_PS Langues - Paris Saclay
- LFR_50204_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1
- LFR_50108_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1
- LEN_51511_EP C1/C2 - Capitalism & Popular Culture
- LEN_51514_EP C1/C2 - Negotiation Bootcamp
- LEN_51313_EP B1B2 - Language improvement & exam prep
- LAR_51200_EP Arabe Débutant 3
- LDE_51200_EP Allemand Débutant 3
- LEN_50512_EP JE1 - Games and society
- LEN_51510_EP MA1 - C1/C2 - Others and Otherness
- LES_51101_EP Espagnol niveau Débutant 3
- LES_51305_EP MA2 - B2C1 - Architecture et poésie : des formes qui disent l'Histoire
- LFR_51517_EP C1C2 - Le cinéma de Nouvelle Vague à aujourd'hui
- LJA_51300_EP Japonais niveau Débutant 3
- LRU_41300_EP ME6 - Russe intermédiaire - B1B2
- LRU_42300_EP Russe intermédiaire avec les X22 - B1B2
- LZH_41200_EP LU6 - Chinois niveau Intermédiaire
- LZH_42200_EP Chinois intermédiaire
- LZH_51500_EP ME6 - Chinois niveau Avancé 3 avec X23
