Master Informatique

Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Ce cours propose une initiation à la cyber-sécurité, une découverte des outils d'audit, et une présentation des techniques d'attaque des applications web. Lire plus ›

Ce cours est une introduction à la vérification de programmes en utilisant l'interprétation abstraite et la programmation par contraintes. Lire plus ›

The aim of the course is to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically prove the absence of some bad program behaviours. Read More ›

This lecture is the continuation of the lecture on graphs and algorithms that I give in Master 1. Lire plus ›

In many branches of current science, graphs, and dynamic processes on these graphs, are considered. Finite Dynamical Systems - also called Automata Networks - allow for an unmistakable representation of such processes. They are, for example, classical models for the dynamics of biological networks (neural and gene networks), social networks (epidemic diffusion), or communication networks (network coding). Lire plus ›

Lire plus ›

L'objectif de ce cours est de décrire comment produire des programmes entièrement corrects vis-à-vis de spécifications logiques en utilisant le système de preuve Coq. Lire plus ›

This course mainly focus on distributed-memory parallel framework, where each processor (core, CPU, GPU, IoT device) has its own memory space which can not be shared with others. Lire plus ›

Nous aborderons les techniques automatiques d'optimisation des performances des programmes qui s'exécutent directement sur les processeurs modernes. Les aspects d’interaction bas niveau entre logiciel et matériel sont étudiés. Lire plus ›

We introduce some combinatorial problems, algorithms and general methods such as linear and constraint programming. Lire plus ›

Ce cours porte sur des méthodes et des outils qui permettent de vérifier automatiquement si un système (software ou hardware) vérifie une spécification donnée. Lire plus ›

Lire plus ›

Lire plus ›