M2 – Spécialité LMFI – Parcours recherche – Méthodes formelles

Ce parcours « recherche », vise à donner aux étudiants une formation solide et approfondie aux concepts et principes fondamentaux pour la conception de logiciels sûrs, fiables et robustes ainsi qu’aux méthodes formelles et outils informatiques associés actuels ou en cours d’élaboration. Pour développer de tels logiciels il est nécessaire d’approfondir les différentes activités qui constituent le cycle de vie d’un logiciel, leurs enchaînements et leurs interactions. Le parcours proposé vise à couvrir un grand nombre de ces aspects, tout en tenant compte de la spécificité des thématiques maîtrisées par les enseignants-chercheurs et chercheurs des équipes de recherche du Loria de la thématique des « Méthodes formelles, Sécurité et Sûreté » en tant qu’objet d’étude. Les métiers visés sont ceux de la recherche en préparant un doctorat d’informatique et/ou ceux d’ingénieur ou de cadre en informatique dans le secteur industriel.

Unités d’enseignement obligatoires

Unités d’enseignement optionnelles

Stage