swap_horiz Swarat Chaudhuri Alternatives

1

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

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

Richard Sutton

Richard Sutton is an American-Canadian computer scientist and professor at the University of Alberta, recognized as a fo...

AI Canadian Alberta Deep Learning

9.2 Excellent

4

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

5

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

6

Stuart Russell

Stuart Russell is a British-American computer scientist and professor at the University of California, Berkeley. He co-a...

AI Textbook Berkeley British American

9.1 Excellent

7

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

8

David Silver

David Silver is a British computer scientist and a principal research scientist at Google DeepMind. He is known for his...

AI British Reinforcement Learning Deepmind

9.0 Excellent

9

E. Allen Emerson

E. Allen Emerson is an American computer scientist and professor at the University of Texas at Austin. In the early 1980...

American Verification Ut Austin Model Checking

9.0 Excellent

10

Radhia Cousot

Radhia Cousot was a French computer scientist recognized for co-inventing the theory of abstract interpretation in 1977...

French Static Analysis Cnrs Formal Methods

8.9 Great

11

Peter Norvig

Peter Norvig is an American computer scientist who served as Director of Research at Google, where he worked on search q...

Google American NLP AI

8.8 Great

12

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

13

Jitendra Malik

Jitendra Malik is an Indian-American computer scientist and professor at the University of California, Berkeley. He is a...

Segmentation Deep Learning Computer Vision Indian American

8.8 Great

14

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

15

Madhu Sudan

Madhu Sudan is an Indian-American computer scientist at Harvard University, previously at MIT, whose work spans theoreti...

Theoretical Indian American Harvard Complexity Theory

8.7 Great

16

Rajeev Motwani

Rajeev Motwani was a professor of computer science at Stanford University whose research spanned randomized algorithms,...

Stanford Indian American Algorithms Randomization

8.6 Great

17

Moshe Vardi

Moshe Vardi is a professor of computer science at Rice University. His research encompasses mathematical logic, automata...

Logic Rice Israeli American Formal Methods

8.6 Great

18

Mihir Bellare

Mihir Bellare is a professor of computer science at the University of California, San Diego. He is known for co-developi...

Security Cryptography Indian American Ucsd

8.5 Great

19

Umesh Vazirani

Umesh Vazirani is a professor of electrical engineering and computer sciences at the University of California, Berkeley....

Quantum Computing Indian American Algorithms Complexity Theory

8.5 Great

20

Prabhakar Raghavan

Prabhakar Raghavan is an Indian-American computer scientist known for his research in algorithms, randomized methods, an...

Google Indian American Algorithms Randomization

8.4 Great