Objectifs

Les cours offrents ainsi un aperçu :

• des applications des mathématiques en informatique (cryptographie, théorie de l’information, image),
• des utilisations de la logique en informatique (assistants de preuve, compilation)
• des techniques avancéés en algorithmique

Le parcours permet de se concentrer aussi sur la conception d'algorithmes performants, à l’aide de techniques algorithmiques innovante, en abordant plus parti-culièrement deux axes et domaines : L’Image/la Vision d'une part, et l’Optimisation/la Recherche Opérationnelle d'autre part. Il s'agit à ce titre d'un parcours multi-disciplinaire à l’interface entre plusieurs disciplines, dont l'algorithmique, le traitement d'image, la vision par ordinateur, l’optimisation, l'informatique graphique, la géométrie algorithmique et les méthodes probabilistes. En plus de susciter chez les étudiants curiosité et intérêt pour les aspects théoriques de ces disciplines (complexités des algorithmes, paradigmes de calcul parallèle/distribué…), ce parcours vise à faire découvrir une grande variété de problèmes et solutions algorithmiques, des plus expérimentales aux plus théoriques, en montrant leur intérêt pratique et performances à l’aide d’exemples d'applications concrètes.