Silvio Micali

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.<ref>{{#if:2013-03-16|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C{{#if:Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1=https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography}}}}|[{{#invoke:URLutil|getNormalized|1=http://www.acm.org/press-room/news-releases/2013/turing-award-12}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography}}}}]}}{{#if:| ({{{format}}}{{#if:jaACM2013-03-13https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.acm.org/press-room/news-releases/2013/turing-award-12}}%7C%7C URL ungültig}}}}{{#if:Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography|{{#if:{{#invoke:WLink|isValidLinktext|1=Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography|lines=0}}|| Linktext ungültig}}}}{{#if: ACM| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=ACM}}}}{{#if: | {{{hrsg}}}{{#if: 2013-03-13https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C,%7C{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2013-03-13| {{#if:{{#invoke:DateTime|format|2013-03-13|noerror=1}}
            |{{#invoke:DateTime|format|2013-03-13|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2013-03-13|class=Zitationswartung}} }}{{#if: https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C,%7C{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C,%7C{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7C+{{#if:2013-03-13%7C{{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7Carchiviert%7Cehemals}}%7C{{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7CArchiviert%7CEhemals}}}}+{{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7Cvom%7Cim}}+Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|ja}}| (nicht mehr online verfügbar)}}{{#if: 2013-03-16| am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|2013-03-16{{#if:1809643||(?)}}}}}}{{#if: 2013-03-13|;}}}}{{#if: 2013-03-13| {{#if:2013-03-13https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12{{#invoke:TemplUtl%7Cfaculty%7Cja}}%7Cabgerufen%7CAbgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2013-03-13 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2013-03-13|class=Zitationswartung}} }} {{#invoke:DateTime|format|2013-03-13|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:jaACM2013-03-13https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2013-03-13https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12{{#if: 2013-03-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|ja}}|{{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7C%7C{{#ifeq: ja | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.acm.org/press-room/news-releases/2013/turing-award-12}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.acm.org/press-room/news-releases/2013/turing-award-12 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.acm.org/press-room/news-releases/2013/turing-award-12}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.acm.org/press-room/news-releases/2013/turing-award-12 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.acm.org/press-room/news-releases/2013/turing-award-12}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.acm.org/press-room/news-releases/2013/turing-award-12 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.acm.org/press-room/news-releases/2013/turing-award-12
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.acm.org/press-room/news-releases/2013/turing-award-12}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.acm.org/press-room/news-releases/2013/turing-award-12 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12%7CVorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Er ist Mitglied der National Academy of Sciences, der American Academy of Arts and Sciences und der National Academy of Engineering.

Schriften

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

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Silvio Micali}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if:

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Homepage am MIT (englisch)
Vorlage:TIBAV-Suche

Einzelnachweise

Vorlage:Navigationsleiste Träger des Turing-Awards

{{#ifeq: p | p | | {{#if: 1207775908n/88/60178472965772 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1207775908n/88/60178472965772 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1207775908 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1207775908 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/88/601784 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/88/601784 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 72965772 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 72965772 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Micali, Silvio | {{#if: | {{#if: amerikanischer Informatiker | {{#if: 13. Oktober 1954 | {{#if: Palermo | {{#if: | {{#if: |

Personendaten
NAME	Micali, Silvio }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	amerikanischer Informatiker }}
GEBURTSDATUM	13. Oktober 1954 }}
GEBURTSORT	Palermo }}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung