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
January 25, 2005Google hires Firefox's lead programmer while HP denies rumors of management reorganization. Also: PalmOne CEO resigns.TAGS:rumor, programmer, CEO, Firefox, Palm Inc., Google Inc., HP
April 12, 2007'Feisty Fawn' version of Ubuntu, due April 19, can automatically report crashes to help programmers stamp out bugs.TAGS:Ubuntu, programmer, Linux, Microsoft Corp.