swap_horiz Luca Cardelli 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

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

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

5

Silvio Micali

Silvio Micali is an Italian-American computer scientist and professor at the Massachusetts Institute of Technology. He i...

Zero Knowledge Cryptography Theoretical Italian American

9.2 Excellent

6

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

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

John Reynolds

John C. Reynolds was an American computer scientist who made major contributions to the theory of programming languages....

American Type Theory Programming Languages Cmu

9.1 Excellent

12

Cynthia Dwork

Cynthia Dwork is an American theoretical computer scientist renowned for her research in cryptography, distributed compu...

American Microsoft Cryptography Fairness

9.0 Excellent

13

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

14

Philip Wadler

Philip Wadler is a professor of theoretical computer science at the University of Edinburgh. He is a co-designer of the...

Type Theory British Functional Programming Haskell

8.5 Great

15

Larry Wall

Larry Wall is an American programmer and linguist best known for creating the Perl programming language, first released...

American Open Source Programming Languages Linguistics

8.4 Great

16

Martin Abadi

Martin Abadi is a computer scientist known for his contributions to security and programming language theory. He co-deve...

Google Security American Type Theory

8.4 Great

17

Ravi Kannan

Ravi Kannan is an Indian computer scientist known for his contributions to theoretical computer science and applied math...

Microsoft Indian Linear Algebra Algorithms

8.4 Great

18

Benjamin Pierce

Benjamin Pierce is a computer scientist at the University of Pennsylvania who works on programming language theory and t...

American Type Theory Programming Languages Upenn

8.3 Great

19

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

20

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