swap_horiz Russ Tedrake Alternatives

1

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

2

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

3

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

4

Silvio Micali

Silvio Micali is an Italian-American computer scientist and professor at the Massachusetts Institute of Technology. He i...

Zero Knowledge Cryptography Theoretical Italian American

9.2 Excellent

5

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

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

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

8

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

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

11

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

12

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

13

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

14

Robert Gallager

Robert G. Gallager is an American electrical engineer and professor at the Massachusetts Institute of Technology. In his...

American Networking Mit Information Theory

9.1 Excellent

15

Rodney Brooks

Rodney Brooks is an Australian-American roboticist, emeritus professor at MIT, and former director of the MIT Computer S...

AI Robotics Mit Australian American

8.8 Great

16

Stephen Boyd

Stephen Boyd is the Samsung Professor of Engineering at Stanford University, where he holds appointments in Electrical E...

American Stanford Control Theory Convex Optimization

8.8 Great

17

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

18

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

19

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

20

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