Pour celles et ceux qui ne connaissent pas le Prix Turing, il s'agit de l'équivalent du Prix Nobel mais dans le domaine de l'informatique.

Et cette fois-ci, c'est un français qui l'a obtenue : Joseph Sifakis.

Il travail dans le laboratoire Verimag à Grenoble et est directeur de recherche. Il a mis au point un algorithme permettant de vérifier qu'un système logiciel ou matériel satisfait à certaines exigences.

Je vous invite à lire l'actualité complète sur Futura-Sciences : Joseph Sifakis : le nouveau "Prix Nobel" d'informatique

Alan Turing (1912/1954)