swap_horiz Michael Fischer 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

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

11

Nancy Lynch

Nancy Lynch is an American computer scientist and professor at the Massachusetts Institute of Technology, specializing i...

American Distributed Systems Mit Algorithms

9.1 Excellent

12

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

13

Sanjay Ghemawat

Sanjay Ghemawat is an American software engineer and computer scientist at Google, where he specializes in large-scale d...

Google American Infrastructure Distributed Systems

8.9 Great

14

Maurice Herlihy

Maurice Herlihy is a computer scientist at Brown University whose work established foundational concepts in concurrent a...

American Brown Distributed Systems Concurrency

8.8 Great

15

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

16

Martin Abadi

Martin Abadi is a computer scientist known for his contributions to security and programming language theory. He co-deve...

Google Security American Type Theory

8.4 Great

17

Ian Foster

Ian Foster is a computer scientist at Argonne National Laboratory and the University of Chicago who co-developed grid co...

Cloud American Distributed Systems Argonne

8.3 Great

18

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

19

Paul Hudak

Paul Hudak was an American computer scientist and a professor at Yale University, where he served as the chair of the De...

American Yale Functional Programming Haskell

8.1 Great

20

Carl Kesselman

Carl Kesselman is an American computer scientist at the University of Southern California's Information Sciences Institu...

American Usc Distributed Systems Grid Computing

7.9 Good