En 1996 y 2002, respectivamente, dos investigadores del Instituto Weizmann - Amir Pnueli y Adi Shamir - ganaron el Premio Turing.