Topic: Temporal Logic
Amir Pnueli, Pioneer of Temporal Logic
Amir Pnueli, who turned philosophical studies of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan, of brain hemorrhage, at the age of 68. [Read more at the NYT site]
Posted by Tony Marmo
at 17:41 GMT
Updated: Wednesday, 18 November 2009 17:51 GMT