Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés.

Les principaux débouchés visés par ce parcours sont les suivants : * poursuite en thèse (en France ou à l’étranger, CIFRE ou pas, etc.) * ingénierie des algorithmes et systèmes complexes * ingénierie logistique, énergétique * conception de systèmes critique (transports, avionique) * ingénierie de la qualité logicielle

Au semestre 8, tous les étudiants suivent 4 cours communs, dont un (projet de programmation) commun avec tout le master, et un (conception formelle) commun avec le parcours «Génie Logiciel».

Au semestre 9, le parcours se divise en deux sous-parcours, «Vérification des logiciels» qui met plus l’accent sur les techniques et algorithmes de vérification d’un programme, et «Algorithmes et Modèles» qui se concentre plus sur les aspects algorithmiques de l’informatique. Ces deux parcours diffèrent essentiellement par quels modules sont obligatoires ou en option.

• Projet de programmation
  • Resp: Philippe Narbel

• Conception Formelle
  • Resp: Alain Griffault et Vincent Penelle

• Optimisation Combinatoire
  • Resp: Olivier Baudon

• Introduction à la vérification
  • Resp: Anca Muscholl

Au semestre 9, le parcours se découpe en deux sous-parcours: «Algorithmes et modèles» qui se dirige plus vers

• Software Verification
  • Resp: Vincent Penelle, Grégoire Sutre et Jérôme Leroux

• Seminar
  • Resp: Nicolas Bonichon

• Game Synthesis & Control
  • Resp: Anca Muscholl et Nathanaël Fijalkow

• Distributed Algorithm
  • Resp: Cyril Gavoille

• Logic and Languages
  • Resp: Anca Muscholl, Meghyn Bienvenu et Marc Zeitoun

• Applied Algorithmics
  • Resp: Cyril Gavoille et Ludovic Hofer

• Advanced Graph Theory
  • Resp: Eric Sopena et Marthe Bonamy

• Informatique Quantique
  • Resp: Adrian Tanasa

TODO

TODO