swap_horiz Lloyd Trefethen 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

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

4

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

5

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

6

Sanjeev Arora

Sanjeev Arora is an American theoretical computer scientist and a professor at Princeton University. He is best known fo...

Indian American Algorithms Complexity Theory Princeton

9.18 Excellent

7

David Silver

David Silver is a British computer scientist and a principal research scientist at Google DeepMind. He is known for his...

AI British Reinforcement Learning Deepmind

8.96 Great

8

Gene Golub

Gene Golub was an American computer scientist and mathematician widely considered a founding figure in numerical linear...

American Numerical Analysis Stanford Linear Algebra

8.85 Great

9

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

10

Cleve Moler

Cleve Moler is an American mathematician and computer scientist who created MATLAB in the late 1970s at the University o...

American Numerical Analysis Matlab Linear Algebra

8.74 Great

11

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

12

James Demmel

James Demmel is a professor of computer science and mathematics at the University of California, Berkeley. He is best kn...

American Numerical Analysis Hpc Linear Algebra

8.61 Great

13

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

14

Ravi Kannan

Ravi Kannan is an Indian computer scientist known for his contributions to theoretical computer science and applied math...

Microsoft Indian Linear Algebra Algorithms

8.42 Great

15

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

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

17

Vijay Vazirani

Vijay Vazirani is a computer scientist who works on approximation algorithms, matching theory, and algorithmic game theo...

Indian American Algorithms Matching Approximation

8.20 Great

18

Satish Rao

Satish Rao is an American computer scientist and professor at UC Berkeley. He is known for foundational contributions to...

American Graph Theory Algorithms Berkeley

7.93 Good

19

Prasad Raghavendra

Prasad Raghavendra is a theoretical computer scientist and professor at UC Berkeley. He is best known for proving that s...

Indian American Sdp Complexity Theory Berkeley

7.92 Good

20

David Shmoys

David Shmoys is an American computer scientist and professor at Cornell University. He is known for foundational contrib...

American Algorithms Cornell Approximation

7.88 Good