swap_horiz John Reynolds Alternatives

1

Niklaus Wirth

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

Swiss Algorithms Programming Languages Compilers

9.2 Excellent

2

Tony Hoare

Sir Charles Antony Richard "Tony" Hoare is a British computer scientist best known for developing the Quicksort sorting...

British Algorithms Programming Languages Quicksort

9.2 Excellent

3

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

4

Robin Milner

Robin Milner was a British computer scientist who made foundational contributions to theoretical computer science and pr...

Type Theory British Formal Methods ML Language

9.2 Excellent

5

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

6

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

7

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

8

Manuel Blum

Manuel Blum is a Venezuelan-American computer scientist who has served as a professor at the University of California, B...

Cryptography Algorithms Complexity Theory Venezuelan American

9.2 Excellent

9

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

10

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

11

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

12

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

13

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

14

Larry Wall

Larry Wall is an American programmer and linguist best known for creating the Perl programming language, first released...

American Open Source Programming Languages Linguistics

8.4 Great

15

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

16

Luca Cardelli

Luca Cardelli is an Italian-British computer scientist at Microsoft Research who has made foundational contributions to...

Microsoft Type Theory ML Programming Languages

8.4 Great

17

Benjamin Pierce

Benjamin Pierce is a computer scientist at the University of Pennsylvania who works on programming language theory and t...

American Type Theory Programming Languages Upenn

8.3 Great

18

Jeannette Wing

Jeannette Wing is an American computer scientist and a professor at Columbia University. She is best known for her 2006...

American Microsoft Formal Methods Cmu

8.1 Great

19

Lenore Blum

Lenore Blum is an American mathematician and computer scientist known for co-developing the Blum-Shub-Smale model of com...

American Mathematics Complexity Theory Cmu

7.9 Good

20

Michael Shamos

Michael Shamos is a computer scientist and attorney at Carnegie Mellon University who specializes in computational geome...

American Algorithms Cmu Computational Geometry

7.7 Good