swap_horiz Lenore Blum Alternatives

1

Michael Rabin

Michael Rabin is an Israeli computer scientist and professor at the Hebrew University of Jerusalem who has made foundati...

Israeli Theoretical Complexity Theory Automata

9.2 Excellent

2

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

3

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

4

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

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

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

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

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

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

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

11

Neal Koblitz

Neal Koblitz is an American mathematician at the University of Washington working in number theory and cryptography. In...

American Mathematics Cryptography Washington

8.8 Great

12

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.8 Great

13

Russell Impagliazzo

Russell Impagliazzo is a professor of computer science at the University of California, San Diego, specializing in compu...

American Cryptography Theoretical Complexity Theory

8.6 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

Salil Vadhan

Salil Vadhan is a computer scientist at Harvard University who researches pseudorandomness, computational complexity, an...

American Cryptography Harvard Complexity Theory

8.3 Great

16

Scott Aaronson

Scott Aaronson is a theoretical computer scientist at UT Austin who works in quantum computing and computational complex...

American Theoretical Quantum Computing Complexity Theory

8.2 Great

17

Michael Sipser

Michael Sipser is an American theoretical computer scientist and a professor at the Massachusetts Institute of Technolog...

American Textbook Theoretical Mit

8.1 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

Lance Fortnow

Lance Fortnow is an American theoretical computer scientist recognized for his foundational work in computational comple...

American Theoretical Georgia Tech Complexity Theory

7.7 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