swap_horiz Xavier Rival Alternatives

1

Niklaus Wirth

Niklaus Wirth is a Swiss computer scientist who designed several influential programming languages, most notably Pascal,...

Swiss Algorithms Programming Languages Compilers

9.2 Excellent

2

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

3

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

4

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

5

Edgar Codd

Edgar Frank Codd was a British computer scientist who worked at IBM and invented the relational model for database manag...

SQL Ibm Pioneer British American

9.2 Excellent

6

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

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

9

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

10

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.2 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.1 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.0 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.0 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.9 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.7 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.5 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.3 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.2 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.2 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.0 Great