swap_horiz Joseph Sifakis 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

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

5

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

6

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

7

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

8

Peter Shor

Peter Shor is an American professor of applied mathematics at the Massachusetts Institute of Technology. He is best know...

American Cryptography Quantum Computing Mit

9.2 Excellent

9

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

10

Abraham Lempel

Abraham Lempel was an Israeli computer scientist who co-invented the Lempel-Ziv (LZ) family of lossless data compression...

Israeli Compression Information Theory Algorithms

9.2 Excellent

11

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

12

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

13

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

14

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

15

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

16

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

17

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

18

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

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

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