swap_horiz Tony Hoare 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

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

3

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

4

Leslie Valiant

Leslie Valiant is a British computer scientist and professor at Harvard University. He is widely recognized for introduc...

Machine Learning British Harvard Complexity Theory

9.2 Excellent

5

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

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

7

Christos Papadimitriou

Christos Papadimitriou is a Greek-American computer scientist and professor at Columbia University. He is a prominent th...

Game Theory Algorithms Complexity Theory Columbia

9.2 Excellent

8

Sanjeev Arora

Sanjeev Arora is an American theoretical computer scientist and a professor at Princeton University. He is best known fo...

Indian American Algorithms Complexity Theory Princeton

9.2 Excellent

9

Alfred Aho

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

Canadian Regex Algorithms Compilers

9.2 Excellent

10

Jacob Ziv

Jacob Ziv was an Israeli electrical engineer and professor at the Technion who revolutionized digital data storage and t...

Israeli Compression Information Theory Algorithms

9.2 Excellent

11

Abraham Lempel

Abraham Lempel was an Israeli computer scientist who co-invented the Lempel-Ziv (LZ) family of lossless data compression...

Israeli Compression Information Theory Algorithms

9.2 Excellent

12

Avi Wigderson

Avi Wigderson is an Israeli computer scientist and mathematician at the Institute for Advanced Study in Princeton. His r...

Israeli Algorithms Complexity Theory Randomness

9.2 Excellent

13

Amir Pnueli

Amir Pnueli was an Israeli computer scientist who made foundational contributions to program verification by introducing...

Israeli Verification Weizmann Formal Methods

9.2 Excellent

14

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

15

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

16

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

17

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

18

Patrick Cousot

Patrick Cousot is a French computer scientist who co-founded the field of abstract interpretation in 1977 alongside his...

French Static Analysis Nyu Formal Methods

9.1 Excellent

19

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

20

Peter O'Hearn

Peter O'Hearn is a British computer scientist at University College London and Meta who, with John Reynolds and others,...

Meta British Verification Formal Methods

8.7 Great