Abstract

We show how Theory of Computation has revolutionized our millenary notion of a proof, revealing unexpected applications to our new digital world, such as cloud computing and super secure identification schemes.

Biography

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 on the faculty of the Electrical Engineering and Computer Science Department at MIT.

Silvio's research interests are cryptography, zero knowledge, pseudo-random generation, Byzantine agreement, secure protocols, mechanism design, and distributed ledgers.

Silvio is the recipient of the Turing Award (in computer science), the Gödel Prize (in theoretical computer science), and the RSA prize (in cryptography). He is a member of the National Academy of Sciences, the National Academy of Engineering, of the American Academy of Arts and Sciences, and of the Academia dei Lincei.

Silvio is the founder of Algorand Inc. Algorand is a new foundational blockchain, developed from totally new principles, that simultaneously guarantees true decentralization, scalability, and security.