swap_horiz Xavier Rival Alternatives

1

Michael Rabin

Michael Rabin is an Israeli computer scientist associated with the Hebrew University of Jerusalem and foundational work...

Israeli Theoretical Complexity Theory Automata

9.20 Excellent

2

Dana Scott

Dana Scott is an American logician and computer scientist whose research helped give programming languages precise mathe...

American Logic Theoretical Automata

9.20 Excellent

3

Robin Milner

Robin Milner was a British computer scientist whose work joined programming language design with mathematical reasoning...

Type Theory British Formal Methods ML Language

9.20 Excellent

4

Jim Gray

Jim Gray was an American computer scientist whose research helped establish reliable transaction processing in databases...

American Microsoft Distributed Systems Transactions

9.20 Excellent

5

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

6

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

7

George Dantzig

George Dantzig was an American mathematician who made foundational contributions to operations research and computer sci...

American Optimization Operations Research Stanford

9.20 Excellent

8

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

9

William Kahan

William Kahan is a Canadian-American mathematician and computer scientist who served as a professor at the University of...

Numerical Analysis Berkeley Canadian American IEEE 754

9.20 Excellent

10

Amir Pnueli

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

Israeli Verification Weizmann Formal Methods

9.18 Excellent

11

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

12

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

13

Joseph Sifakis

Joseph Sifakis is a French-Greek computer scientist who founded the Verimag laboratory in Grenoble, France, and conducts...

Verification Embedded Systems Greek French Model Checking

9.03 Excellent

14

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

15

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

16

Xavier Leroy

Xavier Leroy is a French computer scientist who holds a chair at the Collège de France and is associated with INRIA. He...

French Formal Verification Compilers Inria

8.50 Great

17

David Harel

David Harel is an Israeli computer scientist at the Weizmann Institute of Science who invented statecharts, a visual for...

Israeli Verification Weizmann Formal Methods

8.32 Great

18

Gerard Berry

Gérard Berry is a French computer scientist at INRIA who created the Esterel synchronous programming language, designed...

French Formal Methods Synchronous Languages Esterel

8.18 Great

19

Cordelia Schmid

Cordelia Schmid is a computer vision researcher at INRIA (French Institute for Research in Computer Science and Automati...

Google Computer Vision Object Recognition German French

8.18 Great

20

Francis Bach

Francis Bach is a prominent French machine learning researcher who leads the Sierra project-team at INRIA Paris and the...

French Optimization Machine Learning Inria

8.04 Great