swap_horiz Xavier Leroy Alternatives

1

Tony Hoare

Sir Charles Antony Richard Hoare, known as Tony Hoare, was a British computer scientist whose work connected practical a...

British Algorithms Programming Languages Quicksort

9.20 Excellent

2

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

3

Alfred Aho

Alfred Aho is a Canadian computer scientist and professor at Columbia University, widely recognized for his foundational...

Canadian Regex Algorithms Compilers

9.20 Excellent

4

Jacob Ziv

Jacob Ziv was an Israeli electrical engineer and professor at the Technion who revolutionized digital data storage and t...

Israeli Compression Information Theory Algorithms

9.20 Excellent

5

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

6

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

7

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

8

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

9

Niklaus Wirth

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

Swiss Algorithms Programming Languages Compilers

9.18 Excellent

10

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

11

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

12

Jeffrey Ullman

Jeffrey Ullman is an American computer scientist renowned for his research in database theory and automata theory. He co...

American Stanford Algorithms Compilers

9.10 Excellent

13

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

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

Simon Peyton Jones

Simon Peyton Jones is a British computer scientist who spent over two decades as a principal researcher at Microsoft Res...

Microsoft British Functional Programming Compilers

8.64 Great

16

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

17

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

18

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

19

Alex Aiken

Alex Aiken is a computer scientist and professor at Stanford University recognized for his pioneering work in program an...

American Stanford Compilers Program Analysis

7.83 Good

20

Xavier Rival

Xavier Rival is a computer scientist and senior researcher at INRIA, France's national research institute for digital sc...

French Static Analysis Verification Inria

7.55 Good