Jean-François Rey

Licence

Types abstraits : graphes - Module I300.

Cours élémentaire d'introduction à la théorie des graphes présentant quelques algorithmes sur les graphes (parcours, plus court chemin,...)

Automates et langages rationnels - Module I301.

Cours d'introduction à l'étude des automates finis (déterministes ou non), des langages rationnels et des expressions régulières.

Algorithmique avancée - Module I504.

Ce cours propose une étude plus approfondie de quelques algorithmes classiques. Il introduit à l'analyse des liens entre l'algorithmique et les mathématiques.

Master

Décidabilité, complexité et approximation - UEF2

Cours d'introduction à la théorie de la complexité structurelle, il aborde les points suivants :

  • Fonctions récursives et modèles de machines ;
  • Thèse de Church. Exemples de problèmes indécidables ;
  • Réductions et classes de complexité : P, NP, EXP, PSPACE... ;
  • Liens entre les complexités temporelles et les complexités spatiales ;
  • Algorithmes d'approximation. Classes d'approximation.

Cryptologie - UEC4

Cours d'introduction à la cryptologie, il aborde les points suivants :

  • Bases mathématiques (Groupes, Corps fini, Théorie des nombres, Probabilités, Entropie, Courbes elliptiques) ;
  • Cryptographie classique. Cryptographie à clé secrète. Cryptographie à clé publique ;
  • Fonctions de hachage. Générateur pseudo aléatoire ;
  • Signature et code d'authentification ;
  • Distribution des clés. Preuve sans apport d'information ;
  • Cryptanalyse linéaire et différentielle.