Amir Pnueli, Computer science educator. Acheivements include seminal work introducing temporal logic into computing science; outstanding constributions to program and system verification. Recipient A.M. Turing award, Association Computing Machinery, 1996.
Career
Professor computer science, Weizmann Institute Science, Rehovot, Israel.
