Turing Award – Nondeterministic Decision Making

International 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.