Matemático. Ha realizado contribuciones fundamentales a la Lógica Aplicada a la Informática y a la verificación de sistemas y programas. Es el creador del sistema Statecharts, junto a David Harel, un lenguaje visual para la especificación, modelado y prototipado de sistemas reactivos. Galardonado con el Premio Turing en 1996.
Amir Pnueli
