Alain FinkelProfessor at ENS Paris-Saclay, member of LMF

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.