Chef divisionnaire
CARTE D'IDENTITÉ DE LA FORMATION : Niveau : Master Durée : oracle.sql.CLOB@61e1b011 Crédits : 120 crédits ECTS Disciplines : Informatique Organisation de la formation :
Langue d'enseignement et examen : Français.
Organisation des études : Les semestres S1, S2, S4 sont communs à toutes les spécialités du master, avec des options dépendant de la spécialité. Le semestre S3 dépend du parcours choisi. S1 : Modèles de calcul, Approche Objet , Image et Son et 2 options S2 : Anglais, Projet de programmation, Traitement d'images et une option Les options de S1 et S2 sont à choisir parmi les UE de l'offre de formation du master mention informatique 1ère année. Au semestre 3 le parcours informatique fondamentale comporte les UE Analyse d'algorithmes, Algorithmes pour la bio-informatique et visualisation, Graphes et applications, Logique et langages tandis que le parcours Vérification s'appuie sur les UE Formalismes de Description de Systèmes, Logiques Comportementales et Technologies de la vérification.
Parcours de formation :
3 parcours différenciés à partir du master 2 : Informatique fondamentale European master in software verification Informatique et recherche opérationnelle (IRO)
Public concerné : Formation initiale, Formation continue Site de formation : Bordeaux et agglomération Responsable :
Emmanuel FLEURY Géraud SENIZERGUES Isabelle ESCOLIN-CONTENSOU Anca MUSCHOLL Pierre CASTÉRAN Pierre CASTERAN Xavier BLANC
OBJECTIFS ET DÉBOUCHÉS : Objectifs :
La spécialité Algorithmes et Méthodes Formelles vise à donner au diplômé des compétences solides concernant la modélisation informatique de tous types de problèmes et l'évaluation quantitative de la qualité des solutions apportées.
Compétences acquises :
Le diplômé possède des compétences transversales, acquises dans un contexte général de formation universitaire et des compétences scientifiques