Schlomo Moran

aus Wikipedia, der freien Enzyklopädie

Schlomo Moran (hebräisch שלמה מורן, englische Transkription Shlomo Moran, * 1947) ist ein israelischer Informatiker.

Moran wurde 1979 am Technion in Haifa bei Azaria Paz promoviert (NP optimization problems and their approximation). Er ist Professor für Informatik am Technion.

Moran beschäftigt sich mit Komplexitätstheorie, aber auch zum Beispiel mit phylogenetischen Bäumen und Web-Suchmaschinen sowie mit Graphentheorie. 1993 erhielt er den Gödel-Preis für seine Arbeit mit László Babai zur Einführung interaktiver Beweissysteme 1985 (unabhängig von Goldwasser, Micali, Rackoff zur gleichen Zeit). Von ihm und Babai stammt das Arthur-Merlin-Protokoll.[1]

Weblinks

Einzelnachweise

  1. László Babai, Shlomo Moran: Arthur-Merlin games: a randomized proof system and a hierarchy of complexity classes, Journal of Computer and System Sciences, Band 36, 1988, S. 254–276