swap_horiz Leslie Valiant 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

Michael Rabin

Michael Rabin is an Israeli computer scientist and professor at the Hebrew University of Jerusalem who has made foundati...

Israeli Theoretical Complexity Theory Automata

9.2 Excellent

3

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

4

Manuel Blum

Manuel Blum is a Venezuelan-American computer scientist who has served as a professor at the University of California, B...

Cryptography Algorithms Complexity Theory Venezuelan American

9.2 Excellent

5

Christos Papadimitriou

Christos Papadimitriou is a Greek-American computer scientist and professor at Columbia University. He is a prominent th...

Game Theory Algorithms Complexity Theory Columbia

9.2 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.2 Excellent

7

Avi Wigderson

Avi Wigderson is an Israeli computer scientist and mathematician at the Institute for Advanced Study in Princeton. His r...

Israeli Algorithms Complexity Theory Randomness

9.2 Excellent

8

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

9.0 Excellent

9

Oded Goldreich

Oded Goldreich is an Israeli computer scientist and professor at the Weizmann Institute of Science, where he conducts re...

Israeli Cryptography Theoretical Complexity Theory

8.9 Great

10

Daphne Koller

Daphne Koller is an Israeli-American computer scientist and former professor of computer science at Stanford University....

Machine Learning Coursera Stanford Israeli American

8.9 Great

11

Bernhard Scholkopf

Bernhard Schölkopf is a German computer scientist and director at the Max Planck Institute for Intelligent Systems in Tü...

German Machine Learning Max Planck Svm

8.7 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

Madhu Sudan

Madhu Sudan is an Indian-American computer scientist at Harvard University, previously at MIT, whose work spans theoreti...

Theoretical Indian American Harvard Complexity Theory

8.7 Great

14

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

15

Russell Impagliazzo

Russell Impagliazzo is a professor of computer science at the University of California, San Diego, specializing in compu...

American Cryptography Theoretical Complexity Theory

8.6 Great

16

Subhash Khot

Subhash Khot is a professor of computer science at New York University's Courant Institute of Mathematical Sciences. In...

Indian Nyu Complexity Theory Unique Games

8.6 Great

17

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

18

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

19

Salil Vadhan

Salil Vadhan is a computer scientist at Harvard University who researches pseudorandomness, computational complexity, an...

American Cryptography Harvard Complexity Theory

8.3 Great

20

Boaz Barak

Boaz Barak is a computer scientist at Harvard University who works in computational complexity theory, cryptography, and...

Cryptography Theoretical Harvard Complexity Theory

8.2 Great