Turing Award – Nondeterministic Decision MakingInternational Awards
Prof. Michael Rabin and Prof. Dana S. Scott
Hebrew University of Jerusalem, Carnegie Mellon University
Development of a groundbreaking model that enables a computer to make a nondeterministic decision about the next step it must take. Thanks to this model, algorithms were developed that are able to handle complex problems including unexpected factors. In 1976, the researchers won the Turing Award, the most prestigious award in the field of computer science, for their work. Prof. Rabin also has conducted research in primality testing that has contributed significantly to the fields of encryption and information security.