May 1, 2013
It’s often said that we live in an age of increased specialization: physicians who treat just one ailment, scholars who study just one period, network administrators who know just one operating system.
March 19, 2013
“Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do.
February 7, 2013
Devavrat Shah arrived at Stanford University as a graduate student in computer science in 1999, just a few months after a couple of other students in the department, Sergey Brin and Larry Page, received $25 million in financing for a company that they’d started in a friend’s garage, which they
January 20, 2012
The northern goshawk is one of nature’s diehard thrill-seekers. The formidable raptor preys on birds and small mammals, speeding through tree canopies and underbrush to catch its quarry.
September 21, 2011
Ask someone with her hands in her lap to pick up a coffee mug on the table she’s sitting at, and she’ll extract her hand from under the table and stretch her arm out toward the mug.
August 3, 2011
In the last few years, electrical utilities have begun equipping their customers’ homes with new meters that have Internet connections and increased computational capacity.