November 16, 2009Pnueli turned a philosopher's explorations of time, logic, and free will, called temporal logic, into a critical technique for verifying the reliability of computers.
(From The New York Times)TAGS:computer science, logic, Israel, professor, programmer, hard drive