swap_horiz Dana Scott Alternatives

1

Michael Rabin

Michael Rabin is an Israeli computer scientist associated with the Hebrew University of Jerusalem and foundational work...

Israeli Theoretical Complexity Theory Automata

9.20 Excellent

2

Michael Stonebraker

Michael Stonebraker is an American computer scientist associated with MIT and the development of influential database sy...

American Postgresql Relational Mit

9.20 Excellent

3

Jim Gray

Jim Gray was an American computer scientist whose research helped establish reliable transaction processing in databases...

American Microsoft Distributed Systems Transactions

9.20 Excellent

4

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

5

Peter Shor

Peter Shor is an American applied mathematics professor at MIT whose work changed the discussion of what quantum compute...

American Cryptography Quantum Computing Mit

9.20 Excellent

6

Robert Tarjan

Robert Tarjan is an American computer scientist and professor at Princeton University renowned for his work in graph alg...

American Graph Theory Algorithms Princeton

9.20 Excellent

7

Jeffrey Dean

Jeffrey Dean is an American computer scientist and software engineer who has spent his career at Google, eventually beco...

Google American Infrastructure Distributed Systems

9.20 Excellent

8

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

9

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

10

Fran Allen

Frances "Fran" Allen was an American computer scientist whose pioneering work at IBM established the foundations of comp...

American Optimization Ibm Parallel Computing

9.16 Excellent

11

Daniel Spielman

Daniel Spielman is an American theoretical computer scientist and professor at Yale University. He co-developed the conc...

American Yale Algorithms Smoothed Analysis

9.12 Excellent

12

Robert Floyd

Robert W. Floyd was an American computer scientist who made significant contributions to the theory of algorithms and so...

American Pioneer Stanford Formal Verification

9.12 Excellent

13

Pat Hanrahan

Pat Hanrahan is an American computer scientist and professor at Stanford University, widely recognized for his foundatio...

American Rendering Pixar Stanford

9.11 Excellent

14

Jeffrey Ullman

Jeffrey Ullman is an American computer scientist renowned for his research in database theory and automata theory. He co...

American Stanford Algorithms Compilers

9.10 Excellent

15

Jack Dongarra

Jack Dongarra is an American computer scientist and professor at the University of Tennessee specializing in high-perfor...

American Tennessee Hpc Linear Algebra

9.08 Excellent

16

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

17

Scott Aaronson

Scott Aaronson is a theoretical computer scientist at UT Austin who works in quantum computing and computational complex...

American Theoretical Quantum Computing Complexity Theory

8.22 Great

18

Neil Immerman

Neil Immerman is a computer scientist at UMass Amherst known for his work in descriptive complexity theory, establishing...

American Logic Theoretical Descriptive Complexity

8.22 Great

19

Michael Sipser

Michael Sipser is an American theoretical computer scientist and a professor at the Massachusetts Institute of Technolog...

American Textbook Theoretical Mit

8.11 Great

20

Lance Fortnow

Lance Fortnow is an American theoretical computer scientist recognized for his foundational work in computational comple...

American Theoretical Georgia Tech Complexity Theory

7.72 Good