Michael O. Rabin

About

Rabin’s fundamental innovations in computer science include: Non-Deterministic computations, with D. Scott; Probabilistic automata; complexity of computations; automata on infinite trees leading to a