Explore Pioneers

Manuel Blum

Venezuela

human-computer interaction

Amir Pnueli

Israel

formal methods

Feng-hsiung Hsu

Taiwan

artificial intelligence

Andrew Yao

China

quantum computing

Joseph Sifakis

Greece

formal methods

Geoffrey Hinton

United Kingdom

artificial intelligence

Satoshi Nakamoto

Unknown

internet

Leslie Valiant

Hungary

theory of computation

Susan L. Graham

U.S.A

programming languages

Judea Pearl

Israel

artificial intelligence

Silvio Micali

Italy

cryptography

John L. Hennessy

U.S.A

hardware

David Patterson

U.S.A

hardware

Yann Lecun

France

artificial intelligence

Yoshua Bengio

France

artificial intelligence

Pat Hanrahan

U.S.A

computer graphics