search
Get Started
search
Michael Rabin - Computer Scientist
zoom_in Click to enlarge

Michael Rabin

description Michael Rabin Overview

Michael Rabin is an Israeli computer scientist and professor at the Hebrew University of Jerusalem who has made foundational contributions to theoretical computer science. He co-developed the theory of nondeterministic finite automata with Dana Scott, providing a fundamental mathematical model for parsing and pattern matching. He also co-created the Rabin-Karp string search algorithm and the randomized Miller-Rabin primality test, which are widely used in cryptography and algorithmic design. He shared the ACM Turing Award with Dana Scott in 1976 for these theoretical achievements.

insights Ranking position

Michael Rabin ranks #1 of 185 in the Computer Scientist ranking, ahead of Tony Hoare.

help Michael Rabin FAQ

How does the Miller-Rabin primality test work?

The Miller-Rabin test, made probabilistic by Rabin in 1980, is a randomized algorithm that determines whether a number is probably prime by testing certain modular exponentiations. The error probability decreases exponentially with the number of independent test rounds, making it practical for generating the large primes used in RSA cryptography.

What did Michael Rabin and Dana Scott's 1959 automata paper contribute?

Rabin and Scott's 1959 paper 'Finite Automata and Their Decision Problems' introduced nondeterministic finite automata and proved they recognize the same class of regular languages as deterministic ones. This joint work earned them the 1976 Turing Award and became a foundational result in theoretical computer science.

What is the Rabin-Karp string matching algorithm?

The Rabin-Karp algorithm, co-developed with Richard Karp, uses rolling hash functions to search for patterns in text, achieving average-case linear time performance. It is particularly efficient for multi-pattern search and remains a standard algorithm taught in undergraduate computer science courses.

What is the Rabin cryptosystem?

The Rabin cryptosystem, published in 1979, is a public-key encryption scheme whose security is provably as hard as integer factorization. Unlike RSA, breaking Rabin encryption is mathematically equivalent to factoring the public key's modulus, making it notable among provably secure cryptosystems.

Reviews & Comments

Write a Review

rate_review

Be the first to review

Share your thoughts with the community and help others make better decisions.

Save to your list

Save your favorites and follow how their scores change over time.

Save favorites
Get updates
Compare scores

Already have an account? Sign in

Compare Items

See how they stack up against each other

Comparing
VS
Select 1 more item to compare