Amir Pnueli, computer pioneer, dead at 68
Monday, November 16, 2009 - 10:28
in Biology & Nature
NEW YORK, Nov. 16 (UPI) -- Amir Pnueli, who developed techniques for verifying the reliability of computers, has died of a brain hemorrhage in New York, associates said.