Le Turing Award est français !
Le Turing Award 2007 a été décerné à Joseph Sifakis, directeur de recherche au laboratoire Verimag du CNRS à Grenoble. Ce prix récompense ses travaux sur le Model Checking. C’est la première fois qu’un français reçoit cette distinction.
Alan Turing fut, pendant la seconde guerre mondiale, l’un de ceux ayant décrypté la machine de codage Enigma, permettant ainsi aux alliés d’obtenir un avantage stratégique capital. Condamné par la justice britanique pour “indécence manifeste et de perversion sexuelle” (il était homosexuel), il est condamné à la castration chimique. Déprimé, écarté de tout projets, sa carrière brisée, il se suicide deux ans plus tard en croquant une pomme empoisonée avec du cyanure. Le logo d’apple serait un hommage à cet homme et à son tragique destin.
Le Turing Award est le plus prestigieux prix en informatique, considéré souvent comme le prix Nobel des informaticiens. Le Turing Award 2003 a quand à lui été attribué à Alan Kay pour ses travaux sur les langages de programmation objets (Il a participé à la création du langage Smalltalk).
Joseph Sifakis partage son prix avec des américains (Edmund Clarke et Allen Emerson) qui ont travaillé sur les mêmes sujets à la même époque (mais indépendament).
Commentaires récents