Oded Goldreich

Professor Oded Goldreich (Weizmann Institute of Science)

Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In the talk, we concentrate on three such proof systems --- interactive proofs, zero-knowledge proofs, and probabilistic checkable proofs --- stressing the essential role of randomness in each of them.