Master 2 informatique Parcours algorithmes et modèles

• Master mention informatique - Code CertifInfo 105773
  • Niveau de qualification : 7 - Savoirs hautement spécialisés

Objectifs

Dans l'industrie comme dans la recherche, nombreux sont les domaines qui requièrent la modélisation de systèmes et de données complexes ainsi que la maîtrise de l'algorithmique de haut niveau sur ces structures : la vérification de programmes, le routage, l'algorithmique distribuée, la conception, l'étude et la maîtrise de protocoles cryptographiques, la bio-informatique, la visualisation de données complexes et massives, pour n'en citer que quelques uns.
Le parcours Informatique Fondamentale porte en particulier sur l'étude des graphes, de leur algorithmique, et des applications à l'algorithmique distribuée et au routage. On enseigne aussi comment décrire par des moyens logiques des structures combinatoires : mots, arbres, graphes et comment on utilise la logique pour la vérification de programmes. Ces structures et leurs transformations sont mises en oeuvre en bio-informatique et en visualisation.

Programme de la formation

https://www.u-bordeaux.fr/formation/2019/PRMA_68/informatique

Validation et sanction

-

Type de formation

Certifiante

Sortie

Bac + 5 et plus