/ via heidelberg laureate forum /
We bid farewell to Michael O. Rabin, who passed away on April 14, 2026. He received the 1976 ACM A.M. Turing Award with Dana S. Scott 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 classic paper has been a continuous source of inspiration for subsequent work in this field. We offer our sincere condolences to his family and friends.
Entdecke mehr von stadtwissen.eu
Melde dich für ein Abonnement an, um die neuesten Beiträge per E-Mail zu erhalten.
