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.
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.
