Шломо Моран

Моран — израильский еврейский специалист по информатике, защитивший докторскую в Технионе, где он занимает кафедру информатики имени Бернарда Элкина. В 1993 году он разделил премию Гёделя с Ласло Бабаи, Шафи Голдвассер, Сильвио Микали и Чарльзом Ракоффом за основополагающие работы об интерактивных системах доказательств Артур — Мерлин, где ограниченный в вычислениях проверяющий может убедиться в утверждении через случайный обмен репликами. Эти работы перестроили теоретическую информатику и лежат в основе современной криптографии.

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Gödel Prize