Joseph Sifakis, directeur de recherche au CNRS, vient de recevoir la plus haute distinction en matière d’informatique, le prix Turing, ou Turing Award, remis chaque année depuis 1966 par l’ACM (Association for Computing Machinery). Ce titre honorifique vient récompenser ses efforts, ainsi que ceux de son équipe, ayant conduit à la mise au point de ce que l’on appelle le Model Checking, une technologie de vérification des systèmes complexes. Joseph Sifakis est le premier Français à recevoir cette distinction.

Source : Clubic.