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
November 9, 2007Company says a scientist from Google will join in with an image recognition algorithm at the SC07 supercomputing conference.Photos: D-Wave takes a quantum leapTAGS:quantum, scientist, computer science, Google Inc., professor, conference