Hommage à Gilles Dowek, informaticien engagé.
カートのアイテムが多すぎます
カートに追加できませんでした。
ウィッシュリストに追加できませんでした。
ほしい物リストの削除に失敗しました。
ポッドキャストのフォローに失敗しました
ポッドキャストのフォロー解除に失敗しました
Hommage à Gilles Dowek, informaticien engagé.
-
ナレーター：
-
著者：
このコンテンツについて
Disparu cet été à l’âge de 58 ans, Gilles Dowek était un chercheur en informatique de renommée mondiale, qui osait interroger la dimension éthique de sa discipline. A la fois philosophe et visionnaire, nous tenons à lui rendre hommage.
Rediffusion
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éressaient à 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.