Shlomo Moran
Shlomo Moran · Technologia i inżynieria
Moran jest izraelskim żydowskim informatykiem, który doktoryzował się w Technionie, gdzie zajmuje katedrę informatyki imienia Bernarda Elkina.
1947, Israel
Israel (Technion — Israel Institute of Technology, Haifa)
Moran jest izraelskim żydowskim informatykiem, który doktoryzował się w Technionie, gdzie zajmuje katedrę informatyki imienia Bernarda Elkina. W 1993 roku dzielił Nagrodę Gödla z Lászlem Babaiem, Shafi Goldwasser, Silviem Micalim i Charlesem Rackoffem za podstawowe prace o interaktywnych systemach dowodowych Artur–Merlin — ujęciu, w którym ograniczony obliczeniowo weryfikator może zostać przekonany o prawdziwości twierdzenia w drodze losowej wymiany zdań. Prace te przebudowały teoretyczną informatykę i leżą u podstaw współczesnej kryptografii.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Moran jest izraelskim żydowskim informatykiem, który doktoryzował się w Technionie, gdzie zajmuje katedrę informatyki imienia Bernarda Elkina.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize