swap_horiz Moshe Vardi 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

Dana Scott

Dana Scott is an American logician and computer scientist whose work established the formal mathematical foundations of...

American Logic Theoretical Automata

9.2 Excellent

3

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

4

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

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

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

7

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

8

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

9

Dan Boneh

Dan Boneh is an Israeli-American computer scientist and professor of computer science at Stanford University. He is a pr...

Security Cryptography Stanford Israeli American

8.9 Great

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

Daphne Koller

Daphne Koller is an Israeli-American computer scientist and former professor of computer science at Stanford University....

Machine Learning Coursera Stanford Israeli American

8.9 Great

12

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

13

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

14

Boaz Barak

Boaz Barak is a computer scientist at Harvard University who works in computational complexity theory, cryptography, and...

Cryptography Theoretical Harvard Complexity Theory

8.2 Great

15

Neil Immerman

Neil Immerman is a computer scientist at UMass Amherst known for his work in descriptive complexity theory, establishing...

American Logic Theoretical Descriptive Complexity

8.2 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.2 Great

17

Tal Rabin

Tal Rabin is an Israeli-American cryptographer recognized for her foundational work in multiparty computation and thresh...

Cryptography Ibm Theoretical Israeli American

8.1 Great

18

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

19

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

20

Dana Moshkovitz

Dana Moshkovitz is an Israeli-American theoretical computer scientist who serves as a faculty member at the University o...

Theoretical Complexity Theory Israeli American Ut Austin

7.6 Good