Photo d'Alain Finkel

Alain FinkelProfesseur à l'ENS Paris-Saclay, membre du LMF

Membre IUF senior

Alain Finkel est professeur à l’ENS Paris-Saclay et membre du Laboratoire Spécification et Vérification (LSV - CNRS/ENS Paris-Saclay). Chercheur en informatique depuis plus de 30 ans, il a énormément œuvré en informatique théorique, en introduisant la "théorie des systèmes bien structurés" et en développant cette théorie très reconnue dans le domaine. En parallèle de ses travaux d'informaticien, Alain Finkel s'est également intéressé aux sciences de l'éducation et aux sciences cognitives, en créant notamment la formation ACTA destinée aux enseignants d'université, doctorants, etc.

En savoir plus

Alain Finkel : de l’informatique théorique aux sciences cognitives - actualité réalisée à l'occasion de sa nomination à l'IUF (23/10/2019)