Shlomo Moran

Shlomo Moran (Hebrew שלמה מורן, English transcription Shlomo Moran, born 1947 ) is an Israeli computer scientist.

Moran in 1979 received his doctorate in Haifa in Azaria Paz at the Technion (NP optimization problems and Their approximation). He is a professor of computer science at the Technion.

Moran deals with complexity theory, but also, for example, with phylogenetic trees and web search engines as well as with graph theory. In 1993 he was awarded the Gödel Prize for his work with László Babai for introducing interactive proof systems in 1985 (regardless of Goldwasser, Micali, Rackoff the same time). From him and Babai comes the Arthur -Merlin protocol.