Amir Pnueli
Amir Pnueli (born on April 22nd 1941) is a Israeli Informaticien which received the Prix Turing in 1996 for a “work founder introducing the temporal Logique in data processing and for exceptional contributions to the checking of the programs and systems”.
Amir Pnueli is currently professor with the Institut Weizmann in Israel.
External bonds
-
personal Page
| Random links: | 1758 | Hoëgne | Jarnac (play) | Amber Tamblyn | Recurring characters of Battlestar Galactica | Alice Donut | Hawaï_(île) |