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
April 5, 2006A recent blog about research on the possibility excited such heavy reader feedback that we got the professor on the phone to elaborate.TAGS:professor, blog
September 18, 2006Professor schooled in oil exploration structures has designed a platform to hold turbines dozens of miles offshore. Image: Envisioning a floating turbineTAGS:turbine, professor, platform
December 6, 2005Marine geology professor tells a conference audience that undersea mining could begin in a few years.TAGS:possibility, professor, conference