swap_horiz Michael Shamos Alternatives

1

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

Jon Kleinberg

Jon Kleinberg is the Tisch University Professor of Computer Science at Cornell University. He developed the HITS (Hyperl...

American Algorithms Networks Cornell

8.8 Great

11

Kurt Mehlhorn

Kurt Mehlhorn is a German computer scientist and director at the Max Planck Institute for Informatics in Saarbrücken. Hi...

German Algorithms Max Planck Data Structures

8.7 Great

12

Bernard Chazelle

Bernard Chazelle is the Eugene Higgins Professor of Computer Science at Princeton University. He invented the soft heap...

Complexity Algorithms Princeton French American

8.5 Great

13

David Karger

David Karger is an American computer scientist at MIT known for his work in algorithms and graph theory. He developed Ka...

American Mit Graph Theory Algorithms

8.4 Great

14

Ryan Williams

Ryan Williams is an American theoretical computer scientist at MIT. He is known for proving circuit complexity lower bou...

American Mit Algorithms Complexity Theory

8.4 Great

15

Herbert Edelsbrunner

Herbert Edelsbrunner is an Austrian computer scientist known for founding topological data analysis and making fundament...

Austrian Topology Algorithms Computational Geometry

8.4 Great

16

Micha Sharir

Micha Sharir is an Israeli mathematician and computer scientist at Tel Aviv University. He is known for proving sharp bo...

Israeli Robotics Algorithms Tel Aviv

8.4 Great

17

Venkatesan Guruswami

Venkatesan Guruswami is a computer scientist specializing in coding theory, computational complexity, and algorithms. Hi...

Indian American Complexity Algorithms Cmu

8.3 Great

18

Virginia Vassilevska Williams

Virginia Vassilevska Williams is a computer scientist at MIT specializing in algorithm design and computational complexi...

American Mit Algorithms Matrix Multiplication

8.2 Great

19

Erik Demaine

Erik Demaine is a computer scientist at MIT who works in computational geometry, algorithms, and the mathematics of orig...

Canadian Mit Algorithms Origami

8.2 Great

20

David Eppstein

David Eppstein is an American computer scientist who currently serves as a Chancellor's Professor of Computer Science at...

American Graph Theory Algorithms Uc Irvine

7.7 Good