| | | Parcours FTI : Fondements et Théories de l'Informatique |
La formation offerte par cet ensemble de cours, enrichie par un stage de recherche qui devra être conçu dans le même esprit, débouche non seulement sur la préparation d'un doctorat au sein de laboratoires Rhône alpins de renommée internationale, puis sur les métiers de la recherche et de l'enseignement supérieur, mais aussi sur des métiers liés à la conception et au développement de technologies de pointe en milieu industriel.
Les étudiants souhaitant suivre ce parcours devront avoir, en informatique, des connaissances du niveau d'une première année de master comportant déjà une initiation aux fondements théoriques de cette discipline. Ce parcours est également ouvert à des étudiants qui ont déjà acquis de telles connaissances tout en ayant suivi une formation antérieure en mathématiques ou en physique théorique.
Ce parcours traverse trois des spécialités de la deuxième année du master
"Mathématiques, informatique" : "Systèmes et logiciels" (S&L),
"Intelligence, Interaction et Information" (III) et
"Recherche opérationnelle et combinatoire" (ROCO).
| Modules | Specialité | ECTS | Volume | Année | |
| CP | Algorithmique et techniques de base du calcul parallèle | S&L | 6 | 24h. | impaire |
| MP | Modélisation et simulation pour l'évaluation de performances de réseaux et de systèmes | S&L | 3 | 12h. | impaire |
| MD | Mesure et analyse de données pour l'évaluation de performances de réseaux et de systèmes | S&L | 3 | 12h. | paire |
| LA | Certification de programmes et lambda-calcul | S&L | 3 | 12h. | impaire |
| PP | Preuves et programmes, une introduction à l'aide du système Coq | S&L | 3 | 12h. | impaire |
| CA | Catégories, applications l'informatique | S&L | 6 | 24h. | paire |
| PE | Programmation evoluée : fondements et applications | III | 6 | 24h. | paire |
| IQ | Théorie et Traitement de l'Information Quantique | III | 6 | 24h. | impaire |
| LI | Logique et mécanisation de l'inférence | III | 6 | 24h. | impaire |
| AB | Inférence et apprentissage bayésien | III | 6 | 24h. | impaire |
| Introduction à la théorie des graphes | ROCO | 6 | 24h. | ||
| Théorie de la complexité | ROCO | 6 | 24h. | ||
| Combinatoire algébrique, codes et théorie de l'information | ROCO | 6 | 24h. | ||
| | | Parcours FTI : Fondements et Théories de l'Informatique |