Professors

David Silver

British researcher who led AlphaGo and AlphaZero

Barbara Liskov

MIT computer scientist known for data abstraction and the Liskov substitution principle

Born 1939

Amnon Shashua

Israeli computer scientist who co-founded Mobileye

Born 1960

Allen Newell

AI and cognitive-science pioneer who co-created the first reasoning programs

1927 – 1992

Alfred Aho

Canadian computer scientist, author of the “Dragon Book” and co-creator of AWK

Born 1941

Manuel Blum

Venezuelan-born computer scientist who co-invented CAPTCHA

Born 1938

Judea Pearl

AI pioneer who developed Bayesian networks and the science of cause and effect

Born 1936

John Hopfield

Physicist who invented the Hopfield network and won the 2024 Nobel Prize

Born 1933

John Hopcroft

Computer scientist known for fundamental algorithms and a classic textbook

Born 1939

Terry Winograd

Stanford professor who built SHRDLU and advised Google’s founders

Born 1946

Richard E. Stearns

Co-founder of computational complexity theory with Juris Hartmanis

1936 – 2026

Edmund M. Clarke

Co-inventor of model checking, used to verify chips and software

1945 – 2020

E. Allen Emerson

Co-inventor of model checking and Turing Award winner

1954 – 2024

Abraham Lempel

Israeli computer scientist who co-invented Lempel–Ziv compression

1936 – 2023