Silvio Micali

Silvio Micali

Greater Boston
11K followers 500+ connections

Join to view profile

Articles by Silvio

Activity

Join now to see all activity

Projects

  • ALGORAND

    -

    Algorand is an alternative, democratic, efficient, and truly distributed ledger. Unlike prior ledgers based on ‘proof of work’, it dispenses with ‘miners’. Indeed, Algorand requires only a negligible amount of computation. Moreover, its transaction history does not ‘fork’ with overwhelming probability: i.e., Algorand guarantees the finality of all transactions.

    See project

Honors & Awards

  • Socio Corrispondente, Accademia dei Lincei

    Accademia dei Lincei

  • Turing Award

    ACM

    Along with Shafi Goldwasser, for transformative work that laid the complexity-theoretic foundations for the science of cryptography, and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory.

  • Chair Professor, Tsinghua University

    -

  • Fellow of the International Association for Cryptologic Research (IACR)

    -

  • Member, National Academy of Engineering

    National Academy of Engineering

    For contributions to modern cryptography, through the development of zero-knowledge protocols and the theory of pseudo-randomness.

  • Member, National Academy of Sciences

    National Academy of Sciences

    For contributions to modern cryptography, through the development of zero-knowledge protocols and the theory of pseudo-randomness.

  • Distinguished Alumnus Award, Computer Science, UC Berkeley

    UC Berkeley Department of Electrical Engineering and Computer Sciences

  • Rademacher Lecturer, University of Pennsylvania

    -

  • RSA Prize in Cryptography

    RSA

  • Member, American Academy of Arts and Sciences

    American Academy of Arts and Sciences

  • Gödel Prize in Theoretical Computer Science

    SIGACT

    For the concept of interactive proof systems, which provides a rich new framework for addressing the question of what constitutes a mathematical proof. The invention of this framework has already led to some of the most exciting developments in complexity theory in recent years, including the discovery of close connections between interactive proof systems and classical complexity classes, and the resolution of several major open problems about the difficulty of finding near-optimal solutions…

    For the concept of interactive proof systems, which provides a rich new framework for addressing the question of what constitutes a mathematical proof. The invention of this framework has already led to some of the most exciting developments in complexity theory in recent years, including the discovery of close connections between interactive proof systems and classical complexity classes, and the resolution of several major open problems about the difficulty of finding near-optimal solutions to combinatorial optimization problems.

More activity by Silvio

View Silvio’s full profile

  • See who you know in common
  • Get introduced
  • Contact Silvio directly
Join to view full profile

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Others named Silvio Micali

1 other named Silvio Micali is on LinkedIn

See others named Silvio Micali