swap_horiz Stephen Boyd Alternatives

1

Dana Scott

Dana Scott is an American logician and computer scientist whose work established the formal mathematical foundations of...

American Logic Theoretical Automata

9.2 Excellent

2

Michael Stonebraker

Michael Stonebraker is an American computer scientist and professor at the Massachusetts Institute of Technology. He is...

American Postgresql Relational Mit

9.2 Excellent

3

Jim Gray

Jim Gray was an American computer scientist whose research fundamentally transformed the theory and implementation of da...

American Microsoft Distributed Systems Transactions

9.2 Excellent

4

Peter Shor

Peter Shor is an American professor of applied mathematics at the Massachusetts Institute of Technology. He is best know...

American Cryptography Quantum Computing Mit

9.2 Excellent

5

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

6

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

7

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

10

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

11

Pat Hanrahan

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

American Rendering Pixar Stanford

9.1 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.1 Excellent

13

John Reynolds

John C. Reynolds was an American computer scientist who made major contributions to the theory of programming languages....

American Type Theory Programming Languages Cmu

9.1 Excellent

14

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

15

David Donoho

David Donoho is an American statistician and professor of statistics at Stanford University. He is recognized for his fo...

American Stanford Statistics Compressed Sensing

8.9 Great

16

Thomas Cover

Thomas M. Cover (1938–2012) was a longtime professor at Stanford University in electrical engineering and statistics. Wi...

American Textbook Stanford Information Theory

8.8 Great

17

Hector Garcia-Molina

Hector Garcia-Molina is a Spanish-American computer scientist and a professor at Stanford University. He specializes in...

American Web Stanford Distributed Systems

8.1 Great

18

Russ Tedrake

Russ Tedrake is an American computer scientist and professor at MIT. He leads research on the control and planning of un...

American Robotics Mit Control Theory

7.9 Good

19

Alex Aiken

Alex Aiken is a computer scientist and professor at Stanford University recognized for his pioneering work in program an...

American Stanford Compilers Program Analysis

7.8 Good

20

Mary Wootters

Mary Wootters is a theoretical computer scientist and associate professor at Stanford University, where she specializes...

American Stanford Algorithms Coding Theory

7.3 Good