Un Français récompensé pour ses travaux sur la vérification des systèmes complexes

Le 18/02/2008 à 15:51 par Jacques zzSUEAYGhcIE

Joseph Sifakis, directeur de recherche au CNRS, au sein du laboratoire Verimag, vient d’obtenir le prix Turing (du nom du mathématicien angl…

Joseph Sifakis, directeur de recherche au CNRS, au sein du laboratoire Verimag, vient d’obtenir le prix Turing (du nom du mathématicien anglais Alan Turing) dont le prestige dans le domaine de l’informatique est

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap