Michael O. Rabin

For the violinist, see Michael Rabin (violinist). Michael Oser Rabin (born 1931 in Breslau, Germany, today in Poland) is a computer scientist and a recipient of the Turing Award.Rabin was born as the son of a rabbi in what was then known as Breslau (it became Wrocław, and part of Poland, after the Second World War). He received an M.Sc. from Hebrew University of Jerusalem in 1953 and a Ph.D. from Princeton University in 1956.The citation for the Turing Award, awarded in 1976 jointly to Rabin and Dana Scott for a paper written in 1959, states that the award was granted: For their joint paper "Finite Automata and Their Decision Problem," 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.
See more at Wikipedia.org...