Annonce

Les commentaires sont clos.

[Colloquium d'informatique UPMC - Paris Sorbonnes Universités] S. Micali le 26/05/2015

20 Mai 2015


Catégorie : Autres événements


Colloquium d'informatique de l'UPMC Sorbonne Universités :

http://www.lip6.fr/colloquium/

Proofs, Secrets, and Computation

présenté par Silvio Micali, Massachusetts Institute of Technology

 

Ce colloquium s'adresse à un public large, et est ouvert à tous les chercheurs et étudiants en informatique.

L'exposé aura lieu :

Mardi 26 Mai 2015 à 18h

Amphithéâtre 25
Université Pierre et Marie Curie
4, place Jussieu (métro Jussieu)
75005 Paris

Pour s'y rendre :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html

Un cocktail est prévu à 17h15 en prélude à la conférence.

Abstract:

We show how Theory of Computation has revolutionized our millenary notion of a proof, revealing its unexpected applications to our new digital world. In particular, we shall demonstrate how interaction can make proofs much easier to verify, dramatically limit the amount of knowledge released, and yield the most secure identification schemes to date.

Short bio:

Silvio Micali has received his Laurea in Mathematics from the University of Rome, and his PhD in Computer Science from the University of California at Berkeley. Since 1983 he has been a member of the MIT faculty, in Electrical Engineering and Computer Science Department, where is currently is the Associate Department Head. Silvio’s research interests are cryptography, zero knowledge, pseudo-random generation, secure protocols, and mechanism design. Silvio has received the Turing Award, the Gödel Prize, and the RSA prize. He is a member of the National Academy of Sciences, the National Academy of Engineering, and the American Academy of Arts and Sciences.