swap_horiz Robin Milner 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

Leslie Valiant

Leslie Valiant is a British computer scientist and professor at Harvard University. He is widely recognized for introduc...

Machine Learning British Harvard Complexity Theory

9.2 Excellent

3

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

4

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

5

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

6

David Silver

David Silver is a British computer scientist and a principal research scientist at Google DeepMind. He is known for his...

AI British Reinforcement Learning Deepmind

9.0 Excellent

7

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

8

Maurice Herlihy

Maurice Herlihy is a computer scientist at Brown University whose work established foundational concepts in concurrent a...

American Brown Distributed Systems Concurrency

8.8 Great

9

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

10

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

11

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

12

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

13

Lloyd Trefethen

Lloyd N. Trefethen is a British numerical analyst and professor at the University of Oxford. He is known for his work in...

Numerical Analysis British Oxford Approximation

8.5 Great

14

Clifford Cocks

Clifford Cocks is a British mathematician who worked at GCHQ, the UK's signals intelligence agency. He independently inv...

Cryptography British Rsa Independent Gchq

8.4 Great

15

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

16

Luca Cardelli

Luca Cardelli is an Italian-British computer scientist at Microsoft Research who has made foundational contributions to...

Microsoft Type Theory ML Programming Languages

8.4 Great

17

David MacKay

David MacKay was a British physicist and computer scientist at the University of Cambridge. He was known for his work in...

Machine Learning British Bayesian Information Theory

8.4 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

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

20

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