Alain Finkel - CAV Award 2017

Alain Finkel

Prix Computer-Aided-Verification Award (CAV Award)

Alain Finkel et Philippe Schnoebelen, conjointement avec Parosh Abdulla et Bengt Jonsson (University of Uppsala, Suède), ont reçu le prix Computer-Aided-Verification Award, pour leur contribution à la vérification des systèmes infinis.
 

Alain Finkel (professeur) et Philippe Schnoebelen (DR CNRS) sont membres fondateurs du LSV et du département d'informatique à l'ENS Paris-Saclay.

Professeur Alain Finkel

Alain FINKEL est professeur de sciences cognitives et d'informatique à l'École normale supérieure Paris-Saclay.
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 Paris-Saclay, de l'École 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.

Computer Aided Verification (CAV)

La conférence internationale CAV 2017, lors de laquelle ce prix a été décerné, est la 29e édition et s'est déroulée à Heidelberg, les 22 et 23 juillet.

Le prix récompense annuellement des contributions fondamentales au domaine de la vérification assistée par ordinateur.