Shmuel Safra

Shmuel Safra (Hebrew שמואל " מולי " ספרא called Muli Safra ) (* in Jerusalem) is an Israeli computer scientist.

Safra in 1990 at the Weizmann Institute of Science doctorate at Amir Pnueli ( Complexity of Automata on Infinite Objects). As a post-doc, he was at Stanford University and at the IBM Almaden Research Center, where it came to his collaboration with Sanjeev Arora on the PCP theorem. He is a professor of computer science at the University of Tel Aviv.

In 2001 he was awarded the Gödel Prize for his contributions to the PCP Theorem. In addition to complexity theory, he also deals with automata theory.

His doctoral counts Irit Dinur.