22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 "por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas".