swap_horiz David Silver Alternatives

1

Tony Hoare

Sir Charles Antony Richard Hoare, known as Tony Hoare, was a British computer scientist whose work connected practical a...

British Algorithms Programming Languages Quicksort

9.20 Excellent

2

Robin Milner

Robin Milner was a British computer scientist whose work joined programming language design with mathematical reasoning...

Type Theory British Formal Methods ML Language

9.20 Excellent

3

Silvio Micali

Silvio Micali is an Italian-American computer scientist and MIT professor known for foundational work in modern cryptogr...

Zero Knowledge Cryptography Theoretical Italian American

9.20 Excellent

4

Richard Sutton

Richard Sutton is an American-Canadian computer scientist and University of Alberta professor known for foundational con...

AI Canadian Alberta Deep Learning

9.20 Excellent

5

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.20 Excellent

6

George Dantzig

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

American Optimization Operations Research Stanford

9.20 Excellent

7

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.20 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.20 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.05 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.75 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.75 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.74 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.64 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.47 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.45 Great

16

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.42 Great

17

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.36 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.27 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.82 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.05 Good