Silvio Micali (* 13. Oktober 1954 in Palermo) ist ein italienischstämmiger US-amerikanischer Informatiker.
Micali studierte an der Universität Rom (Diplom (Laurea) 1978 bei Corrado Böhm) und promovierte 1983 an der University of California, Berkeley bei Manuel Blum (Randomness versus Hardness). 1982/83 war er als Post-Doc an der University of Toronto. Seit 1983 ist er am Massachusetts Institute of Technology Professor am Labor für Informatik und Künstliche Intelligenz (zuerst ab 1983 als Assistant Professor, ab 1986 Associate Professor, ab 1991 Professor).
Micali ist bekannt für seine Beteiligung an der Entwicklung von Interaktiven Beweissystemen und Zero-Knowledge-Beweisen (mit Oded Goldreich, Shafi Goldwasser, Charles Rackoff) und weitere Arbeiten in der Kryptographie (sichere Protokolle, digitale Signaturen, Pseudozufallszahlen). 1993 erhielt er mit anderen den Gödel-Preis, 2017 den BBVA Foundation Frontiers of Knowledge Award und er erhielt auch den RSA-Preis.
Gemeinsam mit Shafrira Goldwasser ist Micali Gewinner des Turing Awards 2012.[1]
Er ist Mitglied der National Academy of Sciences, der American Academy of Arts and Sciences und der National Academy of Engineering.
- Oded Goldreich, Silvio Micali, Avi Wigderson: Proofs that yield nothing but their validity (PDF; 3,0 MB). Journal of the ACM, Bd. 38, 1991, S. 690–728.
- Shafi Goldwasser, Silvio Micali, Charles Rackoff: The Knowledge Complexity of Interactive Proof Systems (PDF; 6,5 MB). SIAM Journal on Computing Bd. 18, 1989, S. 186–208
- ↑ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. In: ACM. 13. März 2013, archiviert vom Original (nicht mehr online verfügbar) am 16. März 2013; abgerufen am 13. März 2013.
1966: Perlis |
1967: Wilkes |
1968: Hamming |
1969: Minsky |
1970: Wilkinson |
1971: McCarthy |
1972: Dijkstra |
1973: Bachman |
1974: Knuth |
1975: Newell, Simon |
1976: Rabin, Scott |
1977: Backus |
1978: Floyd |
1979: Iverson |
1980: Hoare |
1981: Codd |
1982: Cook |
1983: Thompson, Ritchie |
1984: Wirth |
1985: Karp |
1986: Hopcroft, Tarjan |
1987: Cocke |
1988: Sutherland |
1989: Kahan |
1990: Corbató |
1991: Milner |
1992: Lampson |
1993: Hartmanis, Stearns |
1994: Feigenbaum, Reddy |
1995: Blum |
1996: Pnueli |
1997: Engelbart |
1998: Gray |
1999: Brooks |
2000: Yao |
2001: Dahl, Nygaard |
2002: Rivest, Shamir, Adleman |
2003: Kay |
2004: Cerf, Kahn |
2005: Naur |
2006: Allen |
2007: Clarke, Emerson, Sifakis |
2008: Liskov |
2009: Thacker |
2010: Valiant |
2011: Pearl |
2012: Micali, Goldwasser |
2013: Lamport |
2014: Stonebraker |
2015: Diffie, Hellman |
2016: Berners-Lee |
2017: Hennessy, Patterson |
2018: Hinton, LeCun, Bengio |
2019: Catmull, Hanrahan |
2020: Aho, Ullman |
2021: Dongarra |
2022: Metcalfe |
2023: Wigderson