En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.
Pierre-Yves Strub, maître de conférence au Laboratoire d'informatique de l'X (École polytechnique / CNRS) , présente "La logique pour vérifier les algorithmes de sécurité de manière autonome et sûre" à l'occasion du Jeudi de la Recherche du 12 janvier. Lors de ces rendez-vous trimestriels, les chercheurs de l'X présentent les travaux menés dans les 22 laboratoires de l'École polytechnique. Dans cette troisième saison 2016/2017, les laboratoires explorent quatre défis sociétaux : le défi climatique, le défi sécuritaire, le défi économique et le défi sanitaire.