Shlomo Moran
Shlomo Moran · Technology & Engineering
Israeli computer scientist; Gödel Prize (1993) for Arthur-Merlin interactive proof systems
1947, Israel
Israel (Technion — Israel Institute of Technology, Haifa)
Shlomo Moran is recognized among Israeli contributors to Technology & Engineering — Israeli computer scientist; Gödel Prize (1993) for Arthur-Merlin interactive proof systems
Moran is an Israeli Jewish computer scientist who earned his doctorate at the Technion, where he holds the Bernard Elkin Chair in Computer Science. He shared the 1993 Gödel Prize with László Babai, Shafi Goldwasser, Silvio Micali and Charles Rackoff for foundational work on Arthur–Merlin interactive proof systems — a framework in which a computationally limited verifier can be convinced of a claim through randomized interaction. This work reshaped theoretical computer science and underlies modern cryptography.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Israeli computer scientist; Gödel Prize (1993) for Arthur-Merlin interactive proof systems
Source: Jinfo.org — Jewish recipients of the Gödel Prize