Projets INF441

Quatre sujets de projet sont disponibles dès le début du cours.

  1. Interprétation abstraite (sujet proposé par Samuel Mimram);
  2. Les liens dansants (sujet proposé par Jean-Christophe Filliâtre);
  3. Résolution de jeux à deux joueurs et à information parfaite (sujet proposé par François Pottier);
  4. Hash trees for distributed audit logs (sujet proposé par Karthik Bhargavan).

Certains élèves ont demandé s'il était possible de proposer son propre sujet de projet. Nous sommes ouverts aux propositions, auxquelles nous donnerons ou non notre accord. Toutefois, il faut que l'objectif soit clairement défini, ainsi que les critères de succès (comment pourrons-nous mesurer si votre code est correct? efficace?). Cela peut représenter plus de travail et plus de risque que de choisir un des sujets proposés.

Le projet est optionnel. Toutefois, pour suivre le PA Informatique en troisième année, il faut avoir effectué au moins un projet en deuxième année.

Le projet peut être effectué seul ou en binôme.

Le projet peut être effectué en Java ou en OCaml.

Si vous choisissez de faire un projet, annoncez votre choix par email à François Pottier avant le 20 avril 2016.

Votre projet doit être un travail original. Toute forme de plagiat est strictement interdite. Le plagiat est détectable à l'aide d'outils automatiques, et sera détecté.

Le projet, accompagné d'un rapport de 4 pages au plus, devra être rendu au plus tard le 31 mai 2016.

Une soutenance orale de 20 minutes (dont 10 minutes de présentation et 10 minutes de questions) sera organisée à partir du 7 juin 2016.

Gardez bien à l'esprit que 10 minutes passent très vite! Ne perdez pas trop de temps à rappeler l'énoncé du problème. Présentez ce qui vous semble intéressant ou original, en termes d'algorithmique ou de programmation, dans votre travail. Donnez des informations quantitatives (performance, taille des données traitées, etc.) qui nous permettront d'évaluer dans quelle mesure vous avez atteint les objectifs du projet.