Fødsel |
24. desember 1946 Shanghai |
---|---|
Nasjonaliteter |
Kinesisk amerikansk (til2015) |
Opplæring |
Harvard University National Taiwan University University of Illinois i Urbana-Champaign |
Aktiviteter | Informatiker , universitetsprofessor |
Ektefelle | Frances yao |
Jobbet for | Princeton University , Tsinghua University , Stanford University , University of California i Berkeley , University of California i San Diego |
---|---|
Områder | Informasjonsvitenskap ( in ) , datamaskin |
Medlem av |
Academia sinica American Academy of Arts and Sciences Association for Computing Machinery American Academy of Sciences (1998-2015) American Academy of Sciences (2015) Akademisk avdeling for informasjonstekniske vitenskaper ved det kinesiske vitenskapsakademiet ( d ) (2017) |
Veileder | Chung Laung Liu ( i ) |
Nettsted | itcs.tsinghua.edu.cn/yao |
Utmerkelser |
Turing-prisen (2000) |
Yao-prinsippet |
Andrew Chi-Chih Yao ( kinesisk : 姚 期 智; pinyin : Yáo Qīzhì), født i Shanghai den24. desember 1946, er informatiker . Han mottok Knuth-prisen i 1996 og Turing-prisen i 2000.
Andrew Yao ble født i Shanghai den 24. desember 1946. Han bodde sine første år i Hong Kong og deretter i Taiwan .
Han gjorde sin lavere grad i fysikk ved National Taiwan University . Han fikk doktorgrad i fysikk fra Harvard University i 1972, under veiledning av Sheldon Glashow, og i informatikk fra University of Illinois i Urbana-Champaign i 1975, under veiledning av Chung Laung Liu.
Han jobbet ved MIT ved University of California i Berkeley og Stanford University før han var professor ved Princeton University og Tsinghua University .
Generelt har han avansert mange områder innen teoretisk informatikk .
I kryptografi og sikkerhet skylder vi ham for eksempel modellen til Dolev-Yao (in) og millionærproblemet (in) .
I mer klassiske algoritmer var han den første til å bruke minimax-algoritmen for å bevise det som kalles Yao-prinsippet , et verktøy som muliggjør studier av sannsynlighetsalgoritmer . Han jobbet også med datastrukturer , spesielt ved bruk av Ramseys teori i artikkelen Should Table Be Sorted . Det har forbedret tidskompleksiteten til å finne et spennende tre med minimal vekt .
Han la også grunnlaget for kompleksiteten i kommunikasjon , i artikkelen Some Complexity Questions Related to Distributed Computing , og jobbet med boolske kretser .
Etter Knuth-prisen i 1996 mottok han Turing-prisen i 2000 for sine bidrag til beregningsteori, pseudo-tilfeldig tallgenerering, kryptografi og kommunikasjonskompleksitet .
Han mottar Kyoto-prisen i 2021.