Amir Pnueli

informaticien israélien ayant obtenu les prix Turing et prix Israël.