Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
NYT > Technology — November 15, 2009
Mr. Pnueli turned a philosopher’s explorations of time, logic and free will, called temporal logic, into a critical technique for verifying the reliability of computers. »
Subscribe to news about Contests and Prizes in New York