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 ParisTech
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 MPRI - Fondements de l'Informatique - Master 2A
- M2MPRI - S1 M2MPRI - Semestre 1
- M2MPRI - S1 - Electifs M2MPRI - Semestre 1 - Electifs
- MPRI-INF-210 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
- STGM2 Stage M2
- Lan-Masters Langues Vivantes
- LAN511RUS Russe niveau Débutant 3
- LAN531ALL Allemand B1
- LAN551ARA LU6 - Arabe niveau Intermédiaire avec X22
- LAN551CHN MA6 - Chinois niveau Intermédiaire 3
- LAN551JAP MA6 - Japonais niveau Intermédiaire 3
- LAN551RUS ME6 - Russe intermédiaire avec X22
- LAN552sALL MA2 - B2 - Atelier théâtre
- LAN552tANG B2/C1 - X-News
- LAN554gANG MA2 - B2/C1 - Persuasion
- LAN572bANG C1/C2 - US : Hard & Soft power
- LAN572jANG MA1 - C1/C2 - Persuasion
- LAN572kFLE LU6 - Mythes de la technique et de la civilisation
- LAN572lFLE MA2 - Art et politique XIXe-XXe siècles
- LAN572sFLE MA6 - La chanson française
- LAN574dFLE MA2 - Les subtilités du français
- LAN611ALL01 JE1 - Allemand Débutant
- LAN611ESP01 JE1 - Espagnol Débutant
- LAN-LV1 LV1 - Anglais
