Schlomo Moran – Wikipedia

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

Homepage am Technion

Einzelnachweise

↑ 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

Personendaten
NAME	Moran, Schlomo
ALTERNATIVNAMEN	Moran, Shlomo; שלמה מורן (hebräisch)
KURZBESCHREIBUNG	israelischer Informatiker
GEBURTSDATUM	1947

[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

[1]