Cena A. M. Turinga je ocenění udělované každoročně Asociací výpočetní techniky (ACM) jednotlivcům za jejich technický přínos v oboru informatiky. Přínos by měl mít trvalou a výraznou důležitost pro celý obor. Většina oceněných osobností byli informatici.
Cena je pojmenována po Alanu Mathisonovi Turingovi (1912–1954), britském matematikovi, který je považován za jednoho ze zakladatelů moderní informatiky. Turingova cena je někdy označována jako „Nobelova cena informatiky“, neboť je nejdůležitějším oceněním v tomto oboru.
Turingovu cenu sponzorují společnosti Intel Corporation a Google Inc.; momentální výše ceny je 250 000 USD (dříve byla sponzorem jen společnost Intel a cena měla hodnotu $100 000).
Turingovu cenu obdrželi tito Izrealci:
- V roce 1976 společně s Danou S. Scottovou za koncept nedeterministického počítače Michael Ozer Rabin.
- V roce 1996 Amir Pnueli za temporální logiku a ověřování programů a systémů.
Zdroj: Turingova cena na Wikipedii