swap_horiz Patrick Cousot 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

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

4

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

5

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

6

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

7

Oded Regev

Oded Regev is an Israeli-American computer scientist and professor at the Courant Institute of Mathematical Sciences at...

Israeli Cryptography Nyu Lattice Based

8.8 Great

8

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

9

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

10

Subhash Khot

Subhash Khot is a professor of computer science at New York University's Courant Institute of Mathematical Sciences. In...

Indian Nyu Complexity Theory Unique Games

8.6 Great

11

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

12

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

13

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

14

Jeannette Wing

Jeannette Wing is an American computer scientist and a professor at Columbia University. She is best known for her 2006...

American Microsoft Formal Methods Cmu

8.1 Great

15

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

16

Sriram Rajamani

Sriram Rajamani is an Indian computer scientist at Microsoft Research, where he has served as managing director of Micro...

Microsoft Indian Formal Methods Model Checking

7.9 Good

17

Mehryar Mohri

Mehryar Mohri is an Iranian-American computer scientist and professor at New York University, also affiliated with Googl...

Machine Learning Nyu Iranian American Automata

7.9 Good

18

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.6 Good

19

Kate Crawford

Kate Crawford is an Australian-American academic and scholar specializing in the social, political, and environmental im...

Australian Social Impact Nyu Surveillance

7.3 Good

20

Swarat Chaudhuri

Swarat Chaudhuri is a computer scientist recognized for his research in neurosymbolic programming, which integrates deep...

AI Indian American Ut Austin Formal Methods

7.1 Good