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.Domaines d'enseignement IP-Paris
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 MPRI - Fondements de l'Informatique - Master 1A
- M1MPRI - S1 M1MPRI - Semestre 1
- M1MPRI - S2 M1MPRI - Semestre 2
- M1MPRI - S2 - TC M1MPRI - Semestre 2 - Tronc Commun
- M1MPRI - Electifs M1MPRI - Electifs
- INF558 Introduction à la Cryptologie
- INF571 Calcul Distribué
- INF573 Analyse d'Image et Vision par Ordinateur
- INF574 Représentations Numériques et Analyse de Formes
- INF575 Systèmes Intelligents Sûrs
- INF513 Projet de 3A Algorithmes efficaces et fondements des languages de programmation
- INF561 Randomisation en Informatique : Jeux, Réqeaux, Epidemie et Evolution
- INF563 Théorie de l'information
- INF564 Compilation
- INF568 Cryptologie Avancée
- INF587 Informatique quantique et applications
- M1MPRI - Electifs H.M. M1MPRI - Electifs hors maquette
- INF584A L'IA en temps réel dans les jeux vidéo : actions décisives & collaboratives
- MAP566B Processus Markov & Applications
- INF554 Apprentissage Automatique et Profond
- INF556 Analyse de Données Topologiques
- INF559 Architecture des ordinateurs et systèmes d'exploitation
- INF562 Géométrie algorithmique : de la théorie aux applications
- INF581A Apprentissage Profond Avancé
- INF582 Introduction à la Fouille de Textes et au Traitement Automatique des Langues(NLP)
- MAP557 Recherche opérationnelle : aspects mathématiques et applications
- MAP575 Sujets Avancés sur la Probabilité
- INF584 Synthèse d'Image
- ECO586/PHY560C Modélisation de Marchés Financiers : Introduction à l'Econophysique
