Michael O. Rabin

Pada tahun 1976, ia dan Dana Scott menerima penghargaan Turing Award atas makalah yang ditulis pada tahun 1959 yang berjudul "Finite Automata and Their Decision Problem". Makalah ini memperkenalkan konsep mesin nondeterministik, yang kelak terbukti menjadi konsep yang sangat penting di bidang teori kompleksitas komputasi, khususnya dalam menjelaskan kelas kompleksitas P dan NP.