|
 Andrew Chi-Chih YAO
Professor,
Center for Advanced Study
Tsinghua University
2000 Turing
Award recipient
http://www.castu.tsinghua.edu.cn/yao/
Bio
Professor Yao was born in Shanghai. He
received a bachelor of science degree in Physics from National
Taiwan University, and holds two doctorates - one in Physics from
Harvard University and another in Computer Science from the
University of Illinois. His research interests include analysis of
algorithms, computational complexity, cryptography, and quantum
computing. Professor Yao has been on the faculty at MIT, Stanford,
UC Berkeley, and Princeton University. In 2004 he left Princeton to
become a Professor of Computer Science at Tsinghua University in
Beijing. He is also a Distinguished Professor-at-Large at the
Chinese University of Hong Kong.
Professor Yao was the recipient of the prestigious A.M. Turing
Award in 2000 for his contributions to the theory of computation,
including communication complexity and pseudorandom number
generation. He has received numerous other honors, including the
George Polya Prize from SIAM, the Donald E. Knuth Prize from
ACM/IEEE, and many honorary degrees. He is a member of the US
National Academy of Sciences, the American Academy of Arts and
Sciences, and the Chinese Academy of Sciences.
Presentation title
A Modern Theory of
Trust-but-Verify
Abstract
The development of the Internet has
not only changed the world technologically, but has also given rise
to novel and exciting scientific inquiries. For example, the quest
of finding trust and security in a networked environment
necessitates the re-examination of what reliable knowledge is, and
how it can be transferred from one party to another. In this talk we
will discuss a modern theory of proofs that has been developed in
recent years by theoretical computer scientists. Some of the
stunning insights obtained may be compared with the most intriguing
ones ever found in mathematics, and they are starting to be used in
applications such as the secure verification of software downloads. |
Computing in the
21st Century >
Homepage
>
Speaker Introduction
