Search


	Podcast:		Autour de la question
	Episode:		Comment vivre, travailler, aimer et voter à l’ère numérique? (Rediffusion)
	Category:		Society & Culture
	Duration:		00:48:30
	Publish Date:		2018-08-15 09:10:30
	Description:		Notre invité du jour, Gilles Dowek (chercheur à Inria), s'interrogera autour de la question suivante : « Comment, vivre, travailler, aimer et voter à l’ère numérique ? ». Comment vivre, travailler, aimer et voter à l’ère numérique ? Comment, par petites touches, nous métamorphosons-nous en homo-sapiens numéricus ? Et pourquoi cela change tout ? Avec Gilles Dowek, chercheur à Inria au LSV, dans l'équipe Deducteam et professeur attaché à l'ENS Paris-Saclay. Ses recherches s'intéressent à la formalisation des mathématiques (la théorie des types, la théorie des ensembles, etc.), aux systèmes de traitement des démonstrations (vérification de démonstration, démonstration automatique, etc.), à la physique du calcul et à la sûreté des systèmes aéronautiques et spatiaux... → Son ouvrage Vivre, aimer, voter en ligne et autres chroniques numériques est paru aux Editions du Pommier.
	Total Play:		0