afrira Goldwasser）是一位在美国出生的以色列计算机科学家。麻省理工学院电子工程和计算机科学的一名教授，以色列魏茨曼科学研究学院数学科学的一名教授。2012年她和希尔维奥·米卡利因其密码学的杰出工作获得图灵奖。她是美国工程院院士。阿米尔·伯努利（Amir Pnueli），以色列计算机科学家。1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。ACM会士。阿迪·萨莫尔（Adi Shamir）是一名以色列密码学家。他与罗纳德·李维斯特和伦纳德·阿德