Pioneers in Computer Science
Pioneers in CS
Back
Michael O. Rabin
Personal Computingalgorithmscryptography

Michael O. Rabin

Michael Oser Rabin was a computer scientist who was co-recipient, with Dana Scott, of the

1931 – 2026GermanyContribution: 1976

Introduction

Michael O. Rabin (born 1931) is an Israeli computer scientist and mathematician. He made significant contributions to theoretical computer science, particularly in the fields of algorithms, automata theory, and cryptography. Rabin co-developed the famous Miller-Rabin primality test and received the Turing Award for his influential work in the field of computer science.

Key Achievement

The joint paper "Finite Automata and Their Decision Problems,"which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.

Biography

Michael Oser Rabin was a computer scientist who was co-recipient, with Dana Scott, of the 1976 ACM Turing Award for their work on computational complexity.

Awards

Turing Award1976
Harvey Prize1980
Josiah Willard Gibbs Lectureship1985
honorary doctorate from University of Bordeaux-I1995
Israel Prize1995
Charles Babbage Award2000
Paris Kanellakis Award2003
The EMET Prize for Art, Science and Culture2004
Gödel Lecturer2004
Foreign Member of the Royal Society2007
IACR Fellow2009
Dan David Prize2010
ACM Fellow2020
Rothschild Prize
honorary doctorate of the Weizmann Institute of Science

Institutions

Hebrew University of Jerusalem

California Institute of Technology

Technion – Israel Institute of Technology

Massachusetts Institute of Technology

Education

Hebrew Reali School

1948

Princeton University

Doctor of Philosophy

1956

Hebrew University of Jerusalem

Master of Science

Hebrew University of Jerusalem

Bachelor of Science