swap_horiz David Silver Alternatives

1

Tony Hoare

Sir Charles Antony Richard "Tony" Hoare is a British computer scientist best known for developing the Quicksort sorting...

British Algorithms Programming Languages Quicksort

9.2 Excellent

2

Robin Milner

Robin Milner was a British computer scientist who made foundational contributions to theoretical computer science and pr...

Type Theory British Formal Methods ML Language

9.2 Excellent

3

Richard Sutton

Richard Sutton is an American-Canadian computer scientist and professor at the University of Alberta, recognized as a fo...

AI Canadian Alberta Deep Learning

9.2 Excellent

4

Leslie Valiant

Leslie Valiant is a British computer scientist and professor at Harvard University. He is widely recognized for introduc...

Machine Learning British Harvard Complexity Theory

9.2 Excellent

5

George Dantzig

George Dantzig was an American mathematician who made foundational contributions to operations research and computer sci...

American Optimization Operations Research Stanford

9.2 Excellent

6

Edmund Clarke

Edmund Clarke was an American computer scientist and professor at Carnegie Mellon University. He co-developed the concep...

American Formal Verification Verification Cmu

9.2 Excellent

7

Amir Pnueli

Amir Pnueli was an Israeli computer scientist who made foundational contributions to program verification by introducing...

Israeli Verification Weizmann Formal Methods

9.2 Excellent

8

William Kahan

William Kahan is a Canadian-American mathematician and computer scientist who served as a professor at the University of...

Numerical Analysis Berkeley Canadian American IEEE 754

9.2 Excellent

9

Stuart Russell

Stuart Russell is a British-American computer scientist and professor at the University of California, Berkeley. He co-a...

AI Textbook Berkeley British American

9.1 Excellent

10

Peter Norvig

Peter Norvig is an American computer scientist who served as Director of Research at Google, where he worked on search q...

Google American NLP AI

8.8 Great

11

Rodney Brooks

Rodney Brooks is an Australian-American roboticist, emeritus professor at MIT, and former director of the MIT Computer S...

AI Robotics Mit Australian American

8.8 Great

12

Peter O'Hearn

Peter O'Hearn is a British computer scientist at University College London and Meta who, with John Reynolds and others,...

Meta British Verification Formal Methods

8.7 Great

13

Simon Peyton Jones

Simon Peyton Jones is a British computer scientist who spent over two decades as a principal researcher at Microsoft Res...

Microsoft British Functional Programming Compilers

8.6 Great

14

Philip Wadler

Philip Wadler is a professor of theoretical computer science at the University of Edinburgh. He is a co-designer of the...

Type Theory British Functional Programming Haskell

8.5 Great

15

Lloyd Trefethen

Lloyd N. Trefethen is a British numerical analyst and professor at the University of Oxford. He is known for his work in...

Numerical Analysis British Oxford Approximation

8.5 Great

16

Clifford Cocks

Clifford Cocks is a British mathematician who worked at GCHQ, the UK's signals intelligence agency. He independently inv...

Cryptography British Rsa Independent Gchq

8.4 Great

17

David MacKay

David MacKay was a British physicist and computer scientist at the University of Cambridge. He was known for his work in...

Machine Learning British Bayesian Information Theory

8.4 Great

18

Pieter Abbeel

Pieter Abbeel is a roboticist and computer scientist at UC Berkeley specializing in robot learning, reinforcement learni...

AI Robotics Reinforcement Learning Berkeley

8.3 Great

19

Sham Kakade

Sham Kakade was a professor at the University of Washington who made fundamental contributions to theoretical reinforcem...

American Washington Machine Learning Reinforcement Learning

7.8 Good

20

Swarat Chaudhuri

Swarat Chaudhuri is a computer scientist recognized for his research in neurosymbolic programming, which integrates deep...

AI Indian American Ut Austin Formal Methods

7.1 Good