Silvio Micali

Silvio Micali (Palermo, 13 ottobre 1954) è un matematico, crittografo e informatico italiano, professore d'informatica presso il Laboratorio d'Informatica ed Intelligenza Artificiale (CSAIL) del MIT di Cambridge, Massachusetts.

Biografia

Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica. Si trasferì con la famiglia a Roma dove il padre, magistrato, era stato trasferito. Dopo aver frequentato il Liceo classico statale Giulio Cesare e aver ottenuto la maturità classica nel 1973, si è poi laureato nel 1978 alla Sapienza di Roma, dove è stato uno dei più brillanti allievi di Corrado Böhm.

Ottenne il Ph.D. in Informatica presso l'Università della California a Berkeley nel 1983. Nel 1985, assieme a Shafi Goldwasser e Charles Rackoff, pubblica l'articolo The knowledge complexity of interactive proof-systems, in cui gli autori introducono il concetto di dimostrazione a conoscenza zero. Micali vinse il Premio Gödel nel 1993.

Oggi^{[Da quando?]} lavora al Laboratorio di Ricerca per l'informatica e l'intelligenza artificiale (Computer Science and Artificial Intelligence Laboratory ) del Massachusetts Institute of Technology di Cambridge (Massachusetts), dove, dal 1983^{['83 oppure '84?]}, insegna informatica presso il Dipartimento di Ingegneria elettrica e di Informatica.

Le sue ricerche sono sempre state indirizzate alla crittografia e alla sicurezza informatica. Micali è molto conosciuto nel mondo scientifico per fondamentali lavori nel campo della crittografia.

Nel 2017, fonda Algorand, progetto basato sulla tecnologia blockchain per garantire transazioni scalabili, sicure e decentralizzate attraverso un meccanismo di consenso più rapido, efficiente e meno costoso rispetto a quelli già esistenti.

Riconoscimenti

Nel 2007 è stato chiamato a far parte dell'Accademia Nazionale delle Scienze degli Stati Uniti. È inoltre membro dell'IACR (International Association for Cryptologic Research).
Nel 2012 ha ricevuto il Premio Turing, insieme a Shafi Goldwasser, per i contributi che hanno permesso di gettare le basi della teoria della complessità nel campo della crittografia e per aver sperimentato nuovi metodi per la verifica efficiente di dimostrazioni matematiche nel campo della teoria della complessità. Tale premio è talvolta definito "il Nobel dell'informatica".
Nel 2014 riceve il Premio Franca Florio "Scienziati Italiani Patrimonio dell'Umanità", conferito agli scienziati italiani nel mondo.
Nel 2015 riceve Laurea Magistrale ad honorem in Informatica dell’Università degli Studi di Salerno e nel 2023 riceve la Laurea ad honorem in Cybersecurity presso l'Università degli Studi di Roma "La Sapienza".

Opere

Pubblicazioni

Michael J. Fischer, Silvio Micali, and Charles Rackoff. A Secure Protocol for the Oblivious Transfer (Extended Abstract). Journal of Cryptology, vol. 9, no. 3, pp. 191–195, 1996.
Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that Yield Nothing But Their Validity, or All Languages in NP (complexity) have Zero-knowledge proof systems. Journal of the ACM vol. 38, no. 3, pp. 691–729, 1991.
Manuel Blum, Alfredo De Santis, Silvio Micali, and Giuseppe Persiano. Noninteractive Zero-Knowledge. SIAM Journal on Computing vol. 20, no. 6, pp. 1084–1118, 1991.
Michael Ben-Or, Oded Goldreich, Silvio Micali, and Ronald L. Rivest. A Fair Protocol for Signing Contracts. IEEE Transactions on Information Theory vol. 36, no. 1, pp. 40–46, 1990.
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing vol. 18, no. 1, pp. 186–208, 1989.
Shafi Goldwasser, Silvio Micali, and Ronald L. Rivest. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM Journal on Computing vol. 17, no. 2, pp. 281–308, 1988.
Silvio Micali, Charles Rackoff, and Bob Sloan. The Notion of Security for Probabilistic Cryptosystems. SIAM Journal on Computing vol. 17, no. 2, pp. 412–426, 1988.
Oded Goldreich, Silvio Micali, and Avi Wigderson. How to Play any Mental Game, or A Completeness Theorem for Protocols with Honest Majority, Proceedings of STOC 1987, pp. 218–229, 1987.
Shafi Goldwasser and Silvio Micali. Probabilistic Encryption. Journal of Computer and System Sciences, vol. 28, no. 2, pp. 270–299, 1984.
Manuel Blum and Silvio Micali. How to Generate Cryptographically secure pseudorandom number generator-Cryptographically Strong Sequences of Pseudo-Random Bits (Generatore di numeri pseudocasuali crittograficamente sicuro), SIAM Journal on Computing vol. 13, no. 4, pp. 850–864, 1984.

Note

↑ (EN) Manuel Blum, Paul Feldman e Silvio Micali, Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract), Twentieth annual ACM symposium on Theory of computing (STOC '88), gennaio 1988, pp. 103–112, DOI:10.1145/62212.62222.
↑ Silvio Micali - Bio Sketch (PDF), su people.csail.mit.edu.
↑ (EN) Algorand 2021 Performance, su algorand.com. URL consultato il 10 marzo 2021.
↑ (EN) Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography, su acm.org. URL consultato il 5 aprile 2013 (archiviato dall'url originale il 16 marzo 2013).
↑ L'italiano Silvio Micali vince il Nobel dell'informatica, su unina.it.
↑ Università degli Studi di Salerno, Laurea Honoris Causa a Silvio Micali, su Università di Salerno, 20 maggio 2015. URL consultato il 13 ottobre 2023.
↑ Sapienza, laurea ad honorem in Cybersecurity a Silvio Micali - Internet e Social, su Agenzia ANSA, 13 maggio 2023. URL consultato il 15 maggio 2023.

Altri progetti

Wikimedia Commons contiene immagini o altri file su Silvio Micali

Collegamenti esterni

(EN) Sito ufficiale, su csail.mit.edu.

Silvio Micali, su accademici.lincei.it, Accademia Nazionale dei Lincei.

(EN) Silvio Micali, su Mathematics Genealogy Project, North Dakota State University.
Sito dell'Università di Yale: biografia ufficiale di Silvio Micali, su cs.yale.edu.

Controllo di autorità	VIAF (EN) 72965772 · ISNI (EN) 0000 0000 2771 8849 · LCCN (EN) n88601784 · GND (DE) 1207775908 · J9U (EN, HE) 987007445168805171

Portale Biografie

Portale Informatica

Portale Matematica

[1] (EN) Manuel Blum, Paul Feldman e Silvio Micali, Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract), Twentieth annual ACM symposium on Theory of computing (STOC '88), gennaio 1988, pp. 103–112, DOI:10.1145/62212.62222.

[2] Silvio Micali - Bio Sketch (PDF), su people.csail.mit.edu.

[3] (EN) Algorand 2021 Performance, su algorand.com. URL consultato il 10 marzo 2021.

[4] (EN) Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography, su acm.org. URL consultato il 5 aprile 2013 (archiviato dall'url originale il 16 marzo 2013).

[5] L'italiano Silvio Micali vince il Nobel dell'informatica, su unina.it.

[6] Università degli Studi di Salerno, Laurea Honoris Causa a Silvio Micali, su Università di Salerno, 20 maggio 2015. URL consultato il 13 ottobre 2023.

[7] Sapienza, laurea ad honorem in Cybersecurity a Silvio Micali - Internet e Social, su Agenzia ANSA, 13 maggio 2023. URL consultato il 15 maggio 2023.

V · D · M Vincitori del Premio Turing
Anni 1960	Alan Perlis (1966) · Maurice V. Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969)
Anni 1970	James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell - Herbert Simon (1975) · Michael Rabin - Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979)
Anni 1980	Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson - Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft - Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989)
Anni 1990	Fernando J. Corbató (1990) · Robin Milner (1991) · Butler W. Lampson (1992) · Juris Hartmanis - Richard E. Stearns (1993) · Edward Feigenbaum - Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick P. Brooks, Jr. (1999)
Anni 2000	Andrew Chi-Chih Yao (2000) · Ole-Johan Dahl - Kristen Nygaard (2001) · Ronald Rivest - Adi Shamir - Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf - Robert Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke - E. Allen Emerson - Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009)
Anni 2010	Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali - Shafi Goldwasser (2012) · Leslie Lamport (2013) · Michael Stonebraker (2014) · Martin Hellman - Whitfield Diffie (2015) · Tim Berners-Lee (2016) · John L. Hennessy - David Patterson (2017) · Yoshua Bengio - Geoffrey Hinton - Yann LeCun (2018) Edwin Catmull - Pat Hanrahan (2019)
Anni 2020	Alfred Aho - Jeffrey Ullman (2020) · Jack Dongarra (2021) · Robert Metcalfe (2022) · Avi Wigderson (2023)