Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.
Enseignement
J’enseigne l’informatique à l’institut Galilée, particulièrement en licence et en master d’informatique, occasionnellement en école d’ingénieur et exceptionnellement dans nos classes préparatoires.