swap_horiz Fran Allen Alternatives

1

Dana Scott

Dana Scott is an American logician and computer scientist whose research helped give programming languages precise mathe...

American Logic Theoretical 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

Edgar Codd

Edgar Frank Codd was a British computer scientist at IBM who introduced the relational model for database management. Hi...

SQL Ibm Pioneer British American

9.20 Excellent

4

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

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

Alfred Aho

Alfred Aho is a Canadian computer scientist and professor at Columbia University, widely recognized for his foundational...

Canadian Regex Algorithms Compilers

9.20 Excellent

8

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

9

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

10

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

11

Niklaus Wirth

Niklaus Wirth is a Swiss computer scientist who designed several influential programming languages, most notably Pascal,...

Swiss Algorithms Programming Languages Compilers

9.18 Excellent

12

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

13

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

14

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

15

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

16

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

17

Victor Miller

Victor S. Miller is an American mathematician at IBM Research who, independently of Neal Koblitz, proposed elliptic curv...

American Mathematics Cryptography Ibm

8.79 Great

18

Craig Gentry

Craig Gentry is an American cryptographer who, in his 2009 Stanford PhD dissertation, constructed the first fully homomo...

American Cryptography Ibm Homomorphic Encryption

8.73 Great

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.83 Good

20

Michael Scott

Michael Scott is a computer scientist and professor at the University of Rochester known for developing the Michael-Scot...

American Parallel Computing Algorithms Lock Free

7.82 Good