Alain FINKEL est professeur de sciences cognitives et d'informatique à l'Ecole Normale Supérieure de Cachan. Sa recherche porte sur le domaine de la vérification automatique de modèles et de logiciels, et il s'intéresse en particulier aux propriétés mathématiques des modèles qu'on peut vérifier. Il a aussi encadré deux thèses en sciences cognitives et publié une dizaine d'articles dans ce domaine. De par sa double formation en "sciences dures" (informatique et mathématiques) et en sciences humaines, ses intérêts et sa position de professeur dans une ENS (dont une des principales missions est la formation des enseignants et des chercheurs), il a naturellement investi le champ de la pédagogie universitaire : après avoir commencé par donner un cours de sciences cognitives pour la pédagogie en 1995, et suite aux demandes de plusieurs départements de l'ENS de Cachan, de l'Ecole Doctorale Sciences Pratiques et de plusieurs CIES, il a structuré un ensemble de cours utiles pour les enseignants (et chercheurs) et a finalement créé une des rares formations pédagogiques longues, ACTA , pour les enseignants du supérieur.