swap_horiz James Demmel 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

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

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

15

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

16

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

17

Eric Brewer

Eric Brewer is an American computer scientist at the University of California, Berkeley. He proposed the CAP theorem in...

Google American Distributed Systems Berkeley

8.4 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.9 Good

19

Trevor Darrell

Trevor Darrell is a computer scientist and professor at UC Berkeley who has made significant contributions to computer v...

American Deep Learning Computer Vision Berkeley

7.8 Good

20

Bernhard Olshausen

Bernhard Olshausen is a computational neuroscientist and professor at the University of California, Berkeley, where he i...

American Neuroscience Vision Berkeley

7.7 Good