Gastin, Paul (1959-....)
France
Date de naissance
1959
Langues d'expression
français
Docteur en informatique (Paris 7, 1987), en poste au Laboratoire Spécification et Vérification (LSV) à l'ENS de Cachan & CNRS (2010)
Paul Gastin est professeur des Universités et directeur du Département Informatique à l'ENS Cachan.
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Quelques rudiments de calculabilité et de complexité
Gastin
Paul
Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en