La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Un Français récompensé pour ses travaux sur la vérification des systèmes complexes
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…
