Master 2 informatique Parcours algorithmes et modèles par UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES

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

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.