Dana Scott

for their joint paper ' Finite automata and their decision problem', which introduced the idea of nondeterministic machines

ChatGPT Perplexity Brave Wikipedia OpenAlex

Affiliated at time of winning

University of Oxford

Oxford, United Kingdom

Shared with

Michael O. Rabin